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)

• 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
• Modal definability based on Łukasiewicz validity relations
• Existential definability of modal frame classes
• Modal logic via global consequence
• A generalization of modal frame definability
• 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?
• Characterization, definability and separation via saturated models
• Local Goldblatt-Thomason theorem

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)