Some characterization and preservation theorems in modal logic

DOI10.1016/J.APAL.2012.07.001MaRDI QIDQ714726zbMATH OpenOpenAlexFDO

Authors Tin Perkov, Mladen Vuković

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

Kripke modelsmodal logicmodel theorymodal definability

Mathematics Subject Classification ID

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

Recommendations

• Towards a generalization of modal definability
• A generalization of modal frame definability
• Notes on modal definability
• scientific article; zbMATH DE number 1749143
• Existential definability of modal frame classes

Cites work

• scientific article; zbMATH DE number 3494368 (Why is no real title available?)
• scientific article; zbMATH DE number 3554258 (Why is no real title available?)
• scientific article; zbMATH DE number 1749143 (Why is no real title available?)
• Characterizations of negative definability in modal logic
• Derivation rules as anti-axioms in modal logic
• Model theory.
• The Goldblatt-Thomason Theorem for Coalgebras
• The Range of Modal Logic
• Towards a generalization of modal definability
• Using the Universal Modality: Gains and Questions

Cited in

(22)

• Axiomatic classes of intuitionistic models
• Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\)
• scientific article; zbMATH DE number 1749143 (Why is no real title available?)
• The preservation of coherence
• On characterization, definability and \(\omega \)-saturated models
• Notes on modal definability
• Basic logic, K4, and persistence
• scientific article; zbMATH DE number 67030 (Why is no real title available?)
• Definable operators on stable set lattices
• Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
• Existential definability of modal frame classes
• A generalization of modal frame definability
• ON DEFINABILITY IN MULTIMODAL LOGIC
• Defining subdirect product closed classes in infinitary logic
• scientific article; zbMATH DE number 1735879 (Why is no real title available?)
• Towards a generalization of modal definability
• Characterization, definability and separation via saturated models
• Local Goldblatt-Thomason theorem
• A dichotomy for some elementarily generated modal logics
• scientific article; zbMATH DE number 3957080 (Why is no real title available?)
• On Preservation Theorems for Two-Variable Logic
• On the modal definability of simulability by finite transitive models

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714726)