Some theorems on the expressive limitations of modal languages (Q792997): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Failures of the interpolation lemma in quantified modal logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Model theory for modal logic. I: The de re / de dicto distinction / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Expressive completeness in modal language / rank | |||
Normal rank | |||
Revision as of 11:43, 14 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some theorems on the expressive limitations of modal languages |
scientific article |
Statements
Some theorems on the expressive limitations of modal languages (English)
0 references
1984
0 references
Certain interesting conditions on S5-modal models which are easily expressed using overt quantification over possibilia, are not expressible in quantified modal languages under the usual Kripke semantics. (E.g. ''There might have been something that actually doesn't exist''.) Several such results are proved by characterizing the set of sentences true in all models meeting such a condition and then constructing a model for that set not meeting that condition.
0 references
modal logic
0 references
necessity
0 references
Henkin construction
0 references
S5
0 references
modal models
0 references
