The following pages link to An incomplete logic containing S4 (Q4773679):
Displaying 39 items.
- Der Verband der normalen verzweigten Modallogiken (Q599049) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Kripke incomplete logics containing KTB (Q995674) (← links)
- Possible worlds semantics: a research program that cannot fail? (Q1062670) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Some kinds of modal completeness (Q1151886) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- Basic conditional logic (Q1221745) (← links)
- Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153) (← links)
- Noncompact extensions of the logic S4 (Q1260026) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Transitive logics of finite width with respect to proper-successor-equivalence (Q2062190) (← links)
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Logics containing <i>K</i>4. Part II (Q3691638) (← links)
- An incomplete decidable modal logic (Q3718681) (← links)
- The lattice of modal logics: an algebraic investigation (Q3875896) (← links)
- Splitting lattices of logics (Q3900020) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- The McKinsey axiom is not compact (Q4032660) (← links)
- An incomplete nonnormal extension of <i>S</i>3 (Q4166738) (← links)
- Canonical modal logics and ultrafilter extensions (Q4190614) (← links)
- Prefinitely axiomatizable modal and intermediate logics (Q4304115) (← links)
- Minimal Axiomatization in Modal Logic (Q4333475) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- Should Deflationists Be Dialetheists? (Q5275548) (← links)
- Splittings and the finite model property (Q5287685) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
