Free-variable tableaux for propositional modal logics (Q5955622)
From MaRDI portal
scientific article; zbMATH DE number 1705612
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Free-variable tableaux for propositional modal logics |
scientific article; zbMATH DE number 1705612 |
Statements
Free-variable tableaux for propositional modal logics (English)
0 references
3 September 2002
0 references
automated decuction
0 references
free-variable tableaux
0 references
theorem proving
0 references
propositional modal logics
0 references
