scientific article; zbMATH DE number 1749143

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

• Towards a generalization of modal definability
• Some characterization and preservation theorems in modal logic
• ON DEFINABILITY IN MULTIMODAL LOGIC
• A generalization of modal frame definability
• Existential definability of modal frame classes

zbMATH Keywords

definabilitypreservationmodal model theory

Mathematics Subject Classification ID

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)