scientific article; zbMATH DE number 1749143

zbMath0998.03014MaRDI QIDQ4532129

Maarten de Rijke, Holger Sturm

Publication date: 20 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

preservationdefinabilitymodal model theory

Mathematics Subject Classification ID

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

Related Items (6)

Modal logic via global consequence ⋮ Model theory of XPath on data trees. II: Binary bisimulation and definability ⋮ Existential definability of modal frame classes ⋮ Characterization, definability and separation via saturated models ⋮ Some characterization and preservation theorems in modal logic ⋮ Characterising modal definability of team-based logics via the universal modality

This page was built for publication: