Deciding the unguarded modal -calculus (Q4583323)
From MaRDI portal
scientific article; zbMATH DE number 6928171
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding the unguarded modal -calculus |
scientific article; zbMATH DE number 6928171 |
Statements
Deciding the unguarded modal -calculus (English)
0 references
28 August 2018
0 references
satisfiability checking
0 references
fixpoints
0 references
tableaux
0 references
automata
0 references
0 references
0 references
