On non-compact logics in NEXT(KTB)
From MaRDI portal
Publication:3545214
Recommendations
- Kripke incomplete logics containing KTB
- On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
- scientific article; zbMATH DE number 3639591
- On formulas of one variable in NEXT(KTB)
- Normal modal logics containing KTB with some finiteness conditions
Cites work
- scientific article; zbMATH DE number 3630717 (Why is no real title available?)
- Kripke incomplete logics containing KTB
- Noncompact extensions of the logic S4
- Noncompactness in propositional modal logic
- Normal modal logics containing KTB with some finiteness conditions
- On formulas of one variable in NEXT(KTB)
- On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
Cited in
(9)- On formulas of one variable in NEXT(KTB)
- scientific article; zbMATH DE number 2196597 (Why is no real title available?)
- All splitting logics in the lattice NEXT(KTB.3'A)
- All Splitting Logics in the Lattice NExt(KTB)
- On linear Brouwerian logics
- New constants in the superintuitionistic logic L2
- On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
- Normal modal logics determined by aligned clusters
- Partitioning Kripke frames of finite height
This page was built for publication: On non-compact logics in NEXT(KTB)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3545214)
