Pages that link to "Item:Q4773680"
From MaRDI portal
The following pages link to An incompleteness theorem in modal logic (Q4773680):
Displaying 29 items.
- Der Verband der normalen verzweigten Modallogiken (Q599049) (← links)
- An axiomatization of the modal theory of the veiled recession frame (Q599806) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← 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)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Possible worlds semantics: a research program that cannot fail? (Q1062670) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Some kinds of modal completeness (Q1151886) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Basic conditional logic (Q1221745) (← links)
- Noncompact extensions of the logic S4 (Q1260026) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Semantic analysis of orthologic (Q1394336) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Completeness of modal logics with prefinite width (Q1835665) (← links)
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Atomless varieties (Q3160556) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- An incomplete decidable modal logic (Q3718681) (← links)
- The lattice of modal logics: an algebraic investigation (Q3875896) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
