On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB

DOI10.1093/logcom/exp020zbMath1193.03039OpenAlexW2139408812MaRDI QIDQ3656771

Zofia Kostrzycka

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp020

zbMATH Keywords

modal logicKripke framegeneral frameKripke completeness

Mathematics Subject Classification ID

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

Related Items (2)

On linear Brouwerian logics ⋮ Normal modal logics determined by aligned clusters

This page was built for publication: On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB