The following pages link to (Q3241192):
Displayed 39 items.
- Loop-free calculus for modal logic S4. I (Q392988) (← links)
- Loop-free calculus for modal logic S4. II (Q392998) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Mathematical foundations of consciousness (Q846525) (← links)
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Condensed detachment as a rule of inference (Q1060210) (← links)
- Trees and diagrams of decomposition (Q1066888) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- First degree entailments (Q1131500) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Getting started: Beginnings in the logic of action (Q1207426) (← links)
- Investigations into quantified modal logic. I (Q1227597) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The fallacies of the new theory of reference (Q1582269) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Opacity and the double life of singular propositions (Q1948274) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Peirce's contributions to possible-worlds semantics (Q2500776) (← links)
- Validity and necessity (Q2572383) (← links)
- Deontic logic and possible worlds semantics: A historical sketch (Q2639845) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Short Overview of the Development of Hintikka’s Work in Logic (Q3299569) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes (Q4165346) (← links)
- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus (Q4560364) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Decision procedures for S3∘ and S4∘ (Q5590786) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability (Q6064250) (← links)
- A novel approach to equality (Q6142508) (← links)