Normal modal logic

Known as: S4 (logic), S4 (modal logic), S4 (normal modal logic)

In logic, a normal modal logic is a set L of modal formulas such that L contains: * All propositional tautologies; * All instances of the Kripke…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2019

Epistemic logics based on normal modal logic are notoriously bad at handling inconsistent and yet non-trivial information. This…

2018

El plantejament d’aquest Treball Fi de Grau consisteix en fer un estudi de diversos edificis emblematics situats en diferents…

2017

In this work, we propose a new version of Fish School Search Algorithm named FSS-CS. This release has three major changes. First…

2014

Francisella tularensis is a Gram-negative bacterium that can cause tularemia in humans. The disease can be acquired through…

2006

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic…

1998

The two main directions pursued in the present paper are the following. The rst direction was (perhaps) started by Pigozzi in…

1995

The physical controls on the distribution of contaminants on the environmentally sensitive Sturgeon Bank tidal flat of the Fraser…

1993

We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut…

1990

A natural deduction system for a wide range of normal modal logics is presented, which is based on Segerberg's idea that…

1976