Normal monomodal logics can simulate all others

DOI10.2307/2586754MaRDI QIDQ4254623zbMATH OpenOpenAlexFDO

Authors Marcus Kracht, F. Wolter

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 logicsmonomodal logicsnon-normal logicsnormal logicspolymodal logicssimulation of a logic

Mathematics Subject Classification ID

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

Recommendations

• Simulation and transfer results in modal logic -- a survey
• Simulating polyadic modal logics by monadic ones
• scientific article; zbMATH DE number 2196587
• Simulation of two dimensions in unimodal logics
• Highway to the Danger Zone

Cited in

(32)

• Simulation and transfer results in modal logic -- a survey
• Quantification in some non-normal modal logics
• Subminimal negation
• A semantic hierarchy for intuitionistic logic
• NP reasoning in the monotone \(\mu\)-calculus
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• A modal logic for supervised learning
• Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
• HKSS-completeness of modal algebras
• Modular sequent calculi for classical modal logics
• On a new semantics for first-order predicate logic
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Knowledge means `all', belief means `most'
• Simulating polyadic modal logics by monadic ones
• 2005–06 Winter Meeting of the Association for Symbolic Logic
• Highway to the Danger Zone
• Variants of multi-relational semantics for propositional non-normal modal logics
• Knowledge means ‘all’, belief means ‘most’
• More on the Power of a Constant
• THE MODAL LOGIC OF STEPWISE REMOVAL
• Embedding coalition logic in the minimal normal multimodal logic with intersection
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Canonical varieties with no canonical axiomatisation
• Instantial neighbourhood logic
• Non-normal Modal description logics
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• Minimally congruential contexts: observations and questions on embedding E in K
• Minimal modal logics, constructive modal logics and their relations
• Computable isomorphisms of Boolean algebras with operators
• A Sahlqvist theorem for distributive modal logic
• Intuitionistic monotone modal logic via translation
• First-order classical modal logic

This page was built for publication: Normal monomodal logics can simulate all others

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4254623)