Some characterization and preservation theorems in modal logic

DOI10.1016/j.apal.2012.07.001zbMath1268.03022OpenAlexW2056066638MaRDI QIDQ714726

Mladen Vuković, Tin Perkov

Publication date: 11 October 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.07.001

zbMATH Keywords

modal logicmodel theoryKripke modelsmodal definability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Ultraproducts and related constructions (03C20)

Related Items (2)

Existential definability of modal frame classes ⋮ Characterising modal definability of team-based logics via the universal modality

Cites Work

• Model theory.
• Characterizations of negative definability in modal logic
• The Goldblatt-Thomason Theorem for Coalgebras
• Using the Universal Modality: Gains and Questions
• Derivation rules as anti-axioms in modal logic
• The Range of Modal Logic
• Towards a Generalization of Modal Definability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some characterization and preservation theorems in modal logic