scientific article; zbMATH DE number 1749143

MaRDI QIDQ4532129zbMATH OpenFDO

Authors Maarten de Rijke, Holger Sturm

Publication date 20 November 2002

zbMATH Keywords

definabilitymodal model theorypreservation

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

(14)

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

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)