An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics

DOI10.1002/malq.202100018zbMath1521.03038arXiv2103.16857OpenAlexW4212831619MaRDI QIDQ6094145

Yoshihito Tanaka

Publication date: 12 September 2023

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

Full work available at URL: https://arxiv.org/abs/2103.16857

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke completeness of infinitary predicate multimodal logics
• First-order classical modal logic
• Notes on the Rasiowa-Sikorski lemma
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• Duality between modal algebras and neighbourhood frames
• A Note on Complete Boolean Algebras
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
• A proof of the completeness theorem of Grödel
• Boolean Algebras with Operators. Part I

This page was built for publication: An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics