Pages that link to "Item:Q4254623"
From MaRDI portal
The following pages link to Normal monomodal logics can simulate all others (Q4254623):
Displaying 26 items.
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- Computable isomorphisms of Boolean algebras with operators (Q694494) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- First-order classical modal logic (Q863182) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Subminimal negation (Q1699743) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- A modal logic for supervised learning (Q2155207) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
- HKSS-completeness of modal algebras (Q2234421) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- On a new semantics for first-order predicate logic (Q2363414) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Knowledge Means ‘All’, Belief Means ‘Most’ (Q2915057) (← links)
- 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- Knowledge means ‘<i>all</i>’, belief means ‘<i>most</i>’ (Q4586161) (← links)
- More on the Power of a Constant (Q5027239) (← links)
- THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
- Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- Non-normal Modal description logics (Q6545543) (← links)
