Normal monomodal logics can simulate all others
From MaRDI portal
Publication:4254623
DOI10.2307/2586754zbMath0972.03019OpenAlexW2009762006MaRDI QIDQ4254623
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
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
