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.

2017

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

2001

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

1998

Clearly modal vectors are orthogonal over the mass matrix, assuming proportional damping. Two identical modal vectors (mass…

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…

1991

Each closed (i.e. variable free) formula of interpretability logic is equivalent in ILF to a closed formula of the provability…

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…