scientific article; zbMATH DE number 1749143
From MaRDI portal
Publication:4532129
zbMATH Open0998.03014MaRDI QIDQ4532129FDOQ4532129
Authors: Maarten de Rijke, Holger Sturm
Publication date: 20 November 2002
Title of this publication is not available (Why is that?)
Recommendations
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Cited In (13)
- Elementary definability and completeness in general and positive modal logic
- Characterizing frame definability in team semantics via the universal modality
- On characterization, definability and \(\omega \)-saturated models
- Some characterization and preservation theorems in modal logic
- Existential definability of modal frame classes
- A generalization of modal frame definability
- Modal definability based on Łukasiewicz validity relations
- Modal logic via global consequence
- Model theory of XPath on data trees. II: Binary bisimulation and definability
- Towards a generalization of modal definability
- One modal logic to rule them all?
- Local Goldblatt-Thomason theorem
- Characterization, definability and separation via saturated models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532129)