On linear Brouwerian logics

DOI10.1002/malq.201200075zbMath1341.03030OpenAlexW1564305979MaRDI QIDQ2922494

Zofia Kostrzycka

Publication date: 10 October 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201200075

Mathematics Subject Classification ID

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

Related Items (1)

Normal modal logics determined by aligned clusters

Cites Work

• Kripke incomplete logics containing KTB
• The extensions of \(BAlt_3\)
• The extensions of \(BAlt_3\) - revisited
• On non-compact logics in NEXT(KTB)
• On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Logics Containing S 4.3

This page was built for publication: On linear Brouwerian logics