Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We use results on modal definability of first-order formulas to reduce the problem of answering conjunctive queries over… 
2005
2005
A short succession of thick-bedded Hallstatt Limestones (Juvavic Nappe, central Northern Calcareous Alps) with two generations of… 
2001
2001
Abstract This paper looks at the concept of neighborhood canonicity introduced by Brian Chellas [2]. We follow the lead of the… 
1995
1995
In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden… 
1993
1993
We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut… 
1993
1993
  • C. Cerrato
  • 1993
  • Corpus ID: 5758020
We develop cut-free calculi of sequents for normal modal logics by using semantic modal sequents that are trees of usual sequents… 
1990
1990
  • J. Hawthorn
  • 1990
  • Corpus ID: 46164756
A natural deduction system for a wide range of normal modal logics is presented, which is based on Segerberg's idea that… 
1990
1990
We present non-clausal resolution systems for propositional modal logics whose Kripke models do not involve symmetry, and for… 
1984
1984
Questions about the constructive or effective character of particular arguments arise in several areas of classical mathematics…