On non-compact logics in NEXT(KTB)

DOI10.1002/MALQ.200710056zbMATH Open1172.03012OpenAlexW1993095058MaRDI QIDQ3545214FDOQ3545214

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

zbMATH Keywords

modal logicKripke framesincomplete logicsnon-transitive logicsnon-compact logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• 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)