Model existence in non-compact modal logic

DOI10.1023/A:1010573427578zbMath0980.03020OpenAlexW1580231247MaRDI QIDQ5939997

Yoshihito Tanaka

Publication date: 31 October 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010573427578

zbMATH Keywords

constant domain predicate modal logicKripke modelmodal logic of common knowledgenon-compact modal logicrepresentation of modal algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: Model existence in non-compact modal logic