Hybrid Tableaux for the Difference Modality (Q4982124)
From MaRDI portal
scientific article; zbMATH DE number 6418744
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid Tableaux for the Difference Modality |
scientific article; zbMATH DE number 6418744 |
Statements
Hybrid Tableaux for the Difference Modality (English)
0 references
23 March 2015
0 references
hybrid logic
0 references
modal logic
0 references
difference modality
0 references
terminating tableaux
0 references
decision procedures
0 references
