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

2025-01-06 Classification：language Click()
Author：Sturm, H; Wolter, F

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

Abstract：
Standard models for model predicate logic consist of a Kripke frame whose worlds come equipped with relational structures. Both modal and two-sorted predicate logic are natural languages for speaking about such models. In this paper we compare their expressivity. We determine a fragment of the two-sorted language for which the modal language is expressively complete on S5-models. Decidable criteria for modal definability are presented.

Keywords: modal predicate logic; correspondence theory; two-sorted languages; expressivity

DOI: 10.1023/A:1013360121031

Source：JOURNAL OF PHILOSOPHICAL LOGIC

Welcome to correct the error, please contact email: humanisticspider@gmail.com

Related Reading

The maturation of grammatical principles: Evidence from Russian unaccusativesThe maturation of grammatical principles: Evidence from Russian unaccusatives
Where Britain meets 'the Continent': Language and cultural exchange in children's ficWhere Britain meets 'the Continent': Language and cultural exchange in children's fic
Making words sing and dance: Sense, style and sound in Yoruba prose translationMaking words sing and dance: Sense, style and sound in Yoruba prose translation
The Pollyanna Principle in French: A study of variable lexisThe Pollyanna Principle in French: A study of variable lexis