Axioms for actuality (Q792998)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Axioms for actuality |
scientific article; zbMATH DE number 3855065
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axioms for actuality |
scientific article; zbMATH DE number 3855065 |
Statements
Axioms for actuality (English)
0 references
1984
0 references
In this paper I present the model-theoretic semantics for modal languages with an actuality operator; I axiomatize the valid and the strongly valid formulae of any such language. I then prove that certain conditions on modal models which are easily expressed using quantification over possibilia cannot be expressed in quantified modal languages containing the actuality operator in addition to the usual necessity operator.
0 references
modal logic
0 references
S5
0 references
necessity
0 references
Henkin construction
0 references
model-theoretic semantics
0 references
actuality operator
0 references
modal models
0 references
