Modal Logics Between S 4 and S 5

DOI10.1002/malq.19590051405zbMath0178.30801OpenAlexW2118313805MaRDI QIDQ5567827

Michael Dummett, E. J. Lemmon

Publication date: 1959

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19590051405

zbMATH Keywords

modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Bases of admissible rules of the logics S4 and Int, The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond, On superintuitionistic logics as fragments of proof logic extensions, The broadest necessity, On Hamblin's 15 Tense Theorem, Busy choice sequences refraining formulas and modalities, Some structure results for propositional calculi, The undecidability of the disjunction property of propositional logics and other related problems, On variable separation in modal and superintuitionistic logics, On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge, Varieties of complex algebras, Conditionals, probability, and non-triviality, Disjunctive property of superintuitionist and modal logics, The deliberative stit: A study of action, omission, ability, and obligation, An algebraic study of Diodorean modal systems, Canonical formulas for K4. Part I: Basic results, The algebraic significance of weak excluded middle laws, The temporal semantics of concurrent programs, Willem Blok and modal logic, The intensional side of algebraic-topological representation theorems, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Fatal Heyting algebras and forcing persistent sentences, Mathematical modal logic: A view of its evolution, Syntax and semantics of superintuitionistic logics, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, Truth as an epistemic ideal, An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic, Proof analysis in intermediate logics, A semantic hierarchy for intuitionistic logic, Modal companions of intermediate propositional logics, Proofs and countermodels in non-classical logics, The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions, Uncompactness of stit logics containing generalized refref conditionals, Completeness of S4 with respect to the real line: revisited, A lattice of normal modal logics, Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable, Worlds and times, Embeddings of classical logic in S4. II, A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES, Reference and perspective in intuitionistic logics, On Finite Model Property for Admissible Rules, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Lattice NExtS4 from the Embedding Theorem Viewpoint, On logics with coimplication, Axioms for deliberative stit, Kripke models and intermediate logics, Canonical Extensions, Esakia Spaces, and Universal Models, On the Blok-Esakia Theorem, Algebraic semantics for modal logics I, The Modal Multilogic of Geometry, Generalizations of the weak law of the excluded middle