EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces (Q5056353)
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: EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces |
scientific article; zbMATH DE number 7628966
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces |
scientific article; zbMATH DE number 7628966 |
Statements
EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces (English)
0 references
8 December 2022
0 references
bimodal product logics
0 references
subset space logic
0 references
satisfiability problem
0 references
complexity theory
0 references
EXPSPACE-completeness
0 references
