The following pages link to Modal logic (Q2744124):
Displaying 50 items.
- Intermediate logics and Visser's rules (Q558441) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- Boolean logics with relations (Q604451) (← links)
- Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- Justification logics and hybrid logics (Q631081) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- Kripke semantics for provability logic GLP (Q636316) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Possible worlds in use (Q647416) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- Logics for stable and unstable mereological relations (Q651278) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Reasoning about plan revision in BDI agent programs (Q655407) (← links)
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Importing logics (Q694499) (← links)
- Stone coalgebras (Q703523) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Probabilistic unawareness (Q725064) (← links)
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- The logic of counterpart theory with actuality (Q742471) (← links)
- What is nominalistic mereology? (Q742476) (← links)
- Completeness and correspondence in Chellas-Segerberg semantics (Q742554) (← links)
- The complexity of one-agent refinement modal logic (Q744988) (← links)
- A logic of plausible justifications (Q744992) (← links)
- On the modal definability of simulability by finite transitive models (Q763328) (← links)
- A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- Tangled modal logic for topological dynamics (Q764267) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- A simple modal logic for belief revision (Q813420) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
