Some theorems on the expressive limitations of modal languages (Q792997): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
| 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
