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.

2013

We use results on modal definability of first-order formulas to reduce the problem of answering conjunctive queries over…

2005

A short succession of thick-bedded Hallstatt Limestones (Juvavic Nappe, central Northern Calcareous Alps) with two generations of…

2001

Abstract This paper looks at the concept of neighborhood canonicity introduced by Brian Chellas [2]. We follow the lead of the…

1995

In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden…

1993

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

1993

We develop cut-free calculi of sequents for normal modal logics by using semantic modal sequents that are trees of usual sequents…

1990

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

1990

We present non-clausal resolution systems for propositional modal logics whose Kripke models do not involve symmetry, and for…

1984

Questions about the constructive or effective character of particular arguments arise in several areas of classical mathematics…

1976