Normal monomodal logics can simulate all others

DOI10.2307/2586754zbMath0972.03019OpenAlexW2009762006MaRDI QIDQ4254623

Frank Wolter, Marcus Kracht

Publication date: 29 June 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586754

zbMATH Keywords

modal logicspolymodal logicsmonomodal logicsnon-normal logicsnormal logicssimulation of a logic

Mathematics Subject Classification ID

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

Related Items

On a new semantics for first-order predicate logic, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, THE MODAL LOGIC OF STEPWISE REMOVAL, Knowledge Means ‘All’, Belief Means ‘Most’, A modal logic for supervised learning, First-order classical modal logic, Variants of multi-relational semantics for propositional non-normal modal logics, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Knowledge means ‘all’, belief means ‘most’, Quantification in some non-normal modal logics, Subminimal negation, Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity, HKSS-completeness of modal algebras, A semantic hierarchy for intuitionistic logic, Minimally congruential contexts: observations and questions on embedding E in K, Computable isomorphisms of Boolean algebras with operators, INSTANTIAL NEIGHBOURHOOD LOGIC, A Sahlqvist theorem for distributive modal logic, Canonical varieties with no canonical axiomatisation, Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, 2005–06 Winter Meeting of the Association for Symbolic Logic, NP reasoning in the monotone \(\mu\)-calculus, Modular sequent calculi for classical modal logics, More on the Power of a Constant

Cites Work

• Unnamed Item
• Unnamed Item