Existential definability of modal frame classes

DOI10.1002/malq.201900061zbMath1521.03036OpenAlexW3087484494MaRDI QIDQ6096325

Luka Mikec, Tin Perkov

Publication date: 11 September 2023

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

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some characterization and preservation theorems in modal logic
• Modal definability in enriched languages
• Characterizations of negative definability in modal logic
• Undecidability of the transitive graded modal logic with converse
• Using the Universal Modality: Gains and Questions
• Derivation rules as anti-axioms in modal logic
• Nonmonotonic default modal logics
• Local Goldblatt–Thomason theorem
• A Generalization of Modal Frame Definability

This page was built for publication: Existential definability of modal frame classes