Towards a generalization of modal definability
From MaRDI portal
Publication:5200467
Recommendations
Cited in
(23)- Modal languages for topology: expressivity and definability
- Modal Undefinability in Some Alternative Leibnizian Frames
- The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable
- Elementary definability and completeness in general and positive modal logic
- scientific article; zbMATH DE number 1749143 (Why is no real title available?)
- On characterization, definability and \(\omega \)-saturated models
- Some characterization and preservation theorems in modal logic
- Notes on modal definability
- Semantics and computation of the generalized modus ponens: The long paper
- Generalized Modal Satisfiability
- scientific article; zbMATH DE number 4066842 (Why is no real title available?)
- Definability in the class of all KD45-frames -- computability and complexity
- Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
- Modal sequents and definability
- Modal definability based on Łukasiewicz validity relations
- Existential definability of modal frame classes
- A generalization of modal frame definability
- ON DEFINABILITY IN MULTIMODAL LOGIC
- Modal Expressivity and Definability over Sets
- scientific article; zbMATH DE number 4039872 (Why is no real title available?)
- Characterization, definability and separation via saturated models
- On the modal definability of simulability by finite transitive models
- Definability Over the Class of all Partitions
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)