The following pages link to An incomplete logic containing S4 (Q4773679):
Displaying 20 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)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
