Some characterization and preservation theorems in modal logic
From MaRDI portal
Publication:714726
DOI10.1016/J.APAL.2012.07.001zbMATH Open1268.03022OpenAlexW2056066638MaRDI QIDQ714726FDOQ714726
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
Recommendations
Modal logic (including the logic of norms) (03B45) Ultraproducts and related constructions (03C20) Interpolation, preservation, definability (03C40)
Cites Work
- Using the Universal Modality: Gains and Questions
- Model theory.
- Title not available (Why is that?)
- The Goldblatt-Thomason Theorem for Coalgebras
- The Range of Modal Logic
- Characterizations of negative definability in modal logic
- Towards a Generalization of Modal Definability
- Derivation rules as anti-axioms in modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (14)
- Axiomatic classes of intuitionistic models
- Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\)
- Title not available (Why is that?)
- The preservation of coherence
- Notes on modal definability
- Characterising modal definability of team-based logics via the universal modality
- Title not available (Why is that?)
- Basic logic, K4, and persistence
- Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
- Existential definability of modal frame classes
- ON DEFINABILITY IN MULTIMODAL LOGIC
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Preservation Theorems for Two-Variable Logic
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)
