The following pages link to Modal Logics Between S 4 and S 5 (Q5567827):
Displaying 50 items.
- Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Truth as an epistemic ideal (Q928710) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Disjunctive property of superintuitionist and modal logics (Q1109023) (← links)
- The temporal semantics of concurrent programs (Q1143164) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Embeddings of classical logic in S4. II (Q1238798) (← links)
- On logics with coimplication (Q1272827) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The broadest necessity (Q1633208) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Busy choice sequences refraining formulas and modalities (Q1893121) (← links)
- On variable separation in modal and superintuitionistic logics (Q1896757) (← links)
- Conditionals, probability, and non-triviality (Q1902557) (← links)
- The deliberative stit: A study of action, omission, ability, and obligation (Q1908789) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)
- Generalizations of the weak law of the excluded middle (Q2354624) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Worlds and times (Q2505129) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- On Hamblin's 15 Tense Theorem (Q2901190) (← links)
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
- Canonical formulas for <i>K</i>4. Part I: Basic results (Q4032666) (← links)
- The Modal Multilogic of Geometry (Q4236068) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- An algebraic study of Diodorean modal systems (Q5338318) (← links)
- Algebraic semantics for modal logics I (Q5525332) (← links)
- Some structure results for propositional calculi (Q5582301) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
