| Original language | English |
|---|---|
| Title of host publication | Proocedings of Methods for Modalitites 4 |
| Publication date | 2005 |
| Pages | 79-96 |
| Publication status | Published - 2005 |
Two Tableau-Based Decision Procedures for Hybrid Logic
Thomas Bolander, Torben Braüner
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review