A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (Q4928429)
From MaRDI portal
scientific article; zbMATH DE number 6176201
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies |
scientific article; zbMATH DE number 6176201 |
Statements
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (English)
0 references
14 June 2013
0 references
