Axioms for actuality (Q792998)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axioms for actuality |
scientific article |
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
