Tableau Metatheorem for Modal Logics (Q5259659)
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: Tableau Metatheorem for Modal Logics |
scientific article; zbMATH DE number 6451649
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tableau Metatheorem for Modal Logics |
scientific article; zbMATH DE number 6451649 |
Statements
Tableau Metatheorem for Modal Logics (English)
0 references
29 June 2015
0 references
possible world's semantics
0 references
tableau rules
0 references
branch
0 references
open branch
0 references
closed branch
0 references
maximal branch
0 references
open tableau
0 references
closed tableau
0 references
tableau metatheorem
0 references
