Recommendations
- On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
- On some Kripke complete and Kripke incomplete intermediate predicate logics
- Kripke completeness of infinitary predicate multimodal logics
- scientific article; zbMATH DE number 2024636
- scientific article; zbMATH DE number 810109
- Incompleteness Results in Kripke Bundle Semantics
- scientific article; zbMATH DE number 1251244
- Kripke completeness revisited
- scientific article; zbMATH DE number 912320
- Normal modal logics containing KTB with some finiteness conditions
Cites work
- scientific article; zbMATH DE number 3650525 (Why is no real title available?)
- A normal modal calculus between T and S4 without the finite model property
- An incomplete logic containing S4
- An incomplete system of modal logic
- An incompleteness theorem in modal logic
- Normal modal logics containing KTB with some finiteness conditions
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Syntactic aspects of modal incompleteness theorems
- The lattice of modal logics: an algebraic investigation
- Two simple incomplete modal logics
Cited in
(12)- On formulas of one variable in NEXT(KTB)
- scientific article; zbMATH DE number 1916522 (Why is no real title available?)
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
- All Splitting Logics in the Lattice NExt(KTB)
- On linear Brouwerian logics
- Normal modal logics containing KTB with some finiteness conditions
- ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
- On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
- On the modal logic of the non-orthogonality relation between quantum states
- On non-compact logics in NEXT(KTB)
- Normal modal logics determined by aligned clusters
- Substitutional validity for modal logic
This page was built for publication: Kripke incomplete logics containing KTB
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995674)
