Ground and free-variable tableaux for variants of quantified modal logics (Q5955623)
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: Ground and free-variable tableaux for variants of quantified modal logics |
scientific article; zbMATH DE number 1705613
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ground and free-variable tableaux for variants of quantified modal logics |
scientific article; zbMATH DE number 1705613 |
Statements
Ground and free-variable tableaux for variants of quantified modal logics (English)
0 references
27 May 2002
0 references
quantified modal logics
0 references
proof procedures for variants of first-order modal logics
0 references
tableau methods
0 references
