First-order expressivity for S5-models: Modal vs. two-sorted languages

DOI10.1023/A:1013360121031zbMath0990.03014MaRDI QIDQ5960012

Frank Wolter, Holger Sturm

Publication date: 11 April 2002

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

expressivityrelational structurescorrespondence theoryKripke framemodal definabilitymodal predicate logictwo-sorted predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

On the Expressivity of First-Order Modal Logic with “Actually” ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ A quantified coalgebraic van Benthem theorem ⋮ The genesis of hi-worlds: towards a principle-based possible world semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Nominal tense logic
• Some theorems on the expressive limitations of modal languages
• Model theory for modal logic. III. Existence and predication
• Expressive completeness in modal language
• Model theory for modal logic. I: The de re / de dicto distinction
• Model theory for modal logic. Kripke models for modal predicate calculi
• Model theory for modal logic. II: The elimination of de re modality
• Temporal connectives versus explicit timestamps to query temporal databases
• The elimination of \textit{de re} formulas
• Decidable fragments of first-order temporal logics
• Incompleteness results in Kripke semantics
• The modal logic of inequality
• To the memory of Arthur Prior Formal properties of ‘now’

This page was built for publication: First-order expressivity for S5-models: Modal vs. two-sorted languages