Actuality, tableaux, and two-dimensional modal logics (Q1797901)
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: Actuality, tableaux, and two-dimensional modal logics |
scientific article; zbMATH DE number 6960408
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Actuality, tableaux, and two-dimensional modal logics |
scientific article; zbMATH DE number 6960408 |
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
0.8442517518997192
0 references
0.7885342240333557
0 references
0.7826374769210815
0 references
0.7506852149963379
0 references
0.7503113150596619
0 references
