scientific article; zbMATH DE number 1749143

MaRDI QIDQ4532129zbMATH OpenFDO

Authors Maarten de Rijke, Holger Sturm

Publication date 20 November 2002

zbMATH Keywords

definabilitypreservationmodal model theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

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

Cited in

(12)

• On characterization, definability and \(\omega \)-saturated models
• One modal logic to rule them all?
• Towards a generalization of modal definability
• Elementary definability and completeness in general and positive modal logic
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Some characterization and preservation theorems in modal logic
• Local Goldblatt-Thomason theorem
• Characterization, definability and separation via saturated models
• A generalization of modal frame definability
• Modal definability based on Łukasiewicz validity relations
• Existential definability of modal frame classes
• Modal logic via global consequence

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)