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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Recent years witness a growing interest in nonstandard epistemic logics of “knowing whether”, “knowing what”, “knowing how” and… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modelled as coalgebras… (More)
Is this relevant?
2007
2007
This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A general method for generating contractionand cut-free sequent calculi for a large family of normal modal logics is presented… (More)
  • table I
  • table II
  • table III
Is this relevant?
2004
2004
An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold… (More)
  • figure 1
  • figure 2
Is this relevant?
1999
1999
In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in order to deal with classes of… (More)
Is this relevant?
1993
1993
We present sequent calculi for normal modal logics where modal and propositional behaviours are separated. and we prove a cut… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever… (More)
Is this relevant?
1991
1991
The present communication suggests deductive systems for the operator a of unprovability in some particular propositional normal… (More)
Is this relevant?
1987
1987
A logic with normal modal operators and countable infinito conjunctions and disjunctions is introduced. A Hflbert's style… (More)
Is this relevant?