Actuality, tableaux, and two-dimensional modal logics (Q1797901)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Actuality, tableaux, and two-dimensional modal logics |
scientific article |
Statements
Actuality, tableaux, and two-dimensional modal logics (English)
0 references
22 October 2018
0 references
The paper's goal is to provide sound and complete tableau systems for a range of first-order modal logics, of suitable syntactic expressivity, that are two-dimensional in the sense that they are equipped with a Kripke semantics in which valuations are parametrized by pairs of possible worlds, one of which is the world in which the formula is being assessed while the other is a world that is treated as actual.
0 references
first-order modal logic
0 references
semantic tableaux
0 references
two-dimensional logic
0 references
