Towards a generalization of modal definability
From MaRDI portal
Publication:5200467
DOI10.1007/978-3-642-31467-4_9zbMATH Open1372.03041OpenAlexW110592309MaRDI QIDQ5200467FDOQ5200467
Authors: Tin Perkov 
Publication date: 6 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31467-4_9
Recommendations
Cited In (19)
- Modal Undefinability in Some Alternative Leibnizian Frames
- Modal languages for topology: expressivity and definability
- The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable
- Title not available (Why is that?)
- Elementary definability and completeness in general and positive modal logic
- On characterization, definability and \(\omega \)-saturated models
- Some characterization and preservation theorems in modal logic
- Notes on modal definability
- Generalized Modal Satisfiability
- Semantics and computation of the generalized modus ponens: The long paper
- Title not available (Why is that?)
- Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
- Modal sequents and definability
- Existential definability of modal frame classes
- ON DEFINABILITY IN MULTIMODAL LOGIC
- Modal Expressivity and Definability over Sets
- Title not available (Why is that?)
- Definability Over the Class of all Partitions
- On the modal definability of simulability by finite transitive models
This page was built for publication: Towards a generalization of modal definability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200467)
