On non-compact logics in NEXT(KTB)
From MaRDI portal
Publication:3545214
DOI10.1002/MALQ.200710056zbMATH Open1172.03012OpenAlexW1993095058MaRDI QIDQ3545214FDOQ3545214
Authors: Zofia Kostrzycka 
Publication date: 10 December 2008
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710056
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
- Normal modal logics containing KTB with some finiteness conditions
- Kripke incomplete logics containing KTB
- Title not available (Why is that?)
- Noncompactness in propositional modal logic
- Noncompact extensions of the logic S4
- On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
- On formulas of one variable in NEXT(KTB)
Cited In (9)
- 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)\)
- New constants in the superintuitionistic logic L2
- Title not available (Why is that?)
- On linear Brouwerian logics
- All splitting logics in the lattice NEXT(KTB.3'A)
- Partitioning Kripke frames of finite height
- All Splitting Logics in the Lattice NExt(KTB)
- Normal modal logics determined by aligned clusters
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)
