Some theorems on the expressive limitations of modal languages (Q792997): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| 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 | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00297574 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2033774694 / rank | |||
Normal rank | |||
Latest revision as of 10:35, 30 July 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
