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

DOI10.1023/A:1013360121031MaRDI QIDQ5960012zbMATH OpenFDO

Authors Holger Sturm, F. Wolter

Publication date 11 April 2002

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

Full work available at URL https://doi.org/10.1023/A:1013360121031

zbMATH Keywords

expressivitymodal definabilitycorrespondence theoryrelational structuresKripke framemodal 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)

Recommendations

• scientific article; zbMATH DE number 1841824
• On modal logics which enrich first-order S5
• scientific article; zbMATH DE number 1499093
• Modal languages for topology: expressivity and definability
• Some theorems on the expressive limitations of modal languages

Cites work

• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A note on de re modalities
• Decidable fragments of first-order temporal logics
• Expressive completeness in modal language
• Incompleteness results in Kripke semantics
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Model theory for modal logic. I: The de re / de dicto distinction
• Model theory for modal logic. II: The elimination of de re modality
• Model theory for modal logic. III. Existence and predication
• Model theory for modal logic. Kripke models for modal predicate calculi
• Nominal tense logic
• Some theorems on the expressive limitations of modal languages
• Temporal connectives versus explicit timestamps to query temporal databases
• The elimination of \textit{de re} formulas
• The modal logic of inequality
• To the memory of Arthur Prior Formal properties of ‘now’

Cited in

(5)

• All normal extensions of S5-squared are finitely axiomatizable
• A quantified coalgebraic van Benthem theorem
• The genesis of hi-worlds: towards a principle-based possible world semantics
• On the expressive power of first-order modal logic with two-dimensional operators
• On the expressivity of first-order modal logic with ``actually

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5960012)