Tableau-based decision procedures for hybrid logic

Journal of Logic and Computation

Volumn 16, Issue 6, 2006, Pages 737-763

  Bolander, Thomas ^a   Braüner, Torben ^b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b ROSKILDE UNIVERSITY   (Denmark)

Author keywords

Decision procedures; Hybrid logic; Modal logic; Tableau systems; Universal modality

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC; MODAL ANALYSIS;

DECISION PROCEDURES; HYBRID LOGIC; MODAL LOGIC; TABLEAU SYSTEMS; UNIVERSAL MODALITY;

DECISION MAKING;

EID: 33947663535     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exl008     Document Type: Article

References (15)

1. C. Areces, P. Blackburn and M. Marx. Hybrid logics: characterization, interpolation and complexity. Journal of Symbolic Logic, 66, 977-1010, 2001.
2. P. Blackburn. Internalizing labelled deduction. Journal of Logic and Computation, 10, 137-168, 2000.
3. P. Blackburn, M. de Rijke and Y. Venema. Modal logic, In Cambridge Tracts in Theoretical Computer Science, Volume 53, Cambridge University Press, Cambridge, UK, 2001.
4. T. Bolander and T. Brauner. Two tableau-based decision procedures for hybrid logic. In 4th workshop Methods for Modalities (M4M), Informatik-Bericht Nr. 194, H. Schlingloff, editor, pp. 79-96. Humboldt-Universität zu Berlin, Berlin, Germany, 2005.
5. M. D'Agostino, D.M. Gabbay, R. Hähnle and J. Posegga, eds. Handbook of Tableau Methods. Kluwer, Dordrecht, The Netherlands, 1999.
6. M. Fitting. Proof Methods for Modal and Intuitionistic Logic. Reidel, Dordrecht, The Netherlands, 1983.
7. R. Gore. Tableau methods for modal and temporal logics. In Handbook of Tableau Methods, pp. 297-396. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999.
8. I. Horrocks and U. Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), L. P. Kaelbling and A. Saffiotti, editors pp. 448-453, 2005.
9. I. Horrocks, U. Sattler and S. Tobies. Practical reasoning for expressive description logics. In Proceedings of LPAR 99, Volume 1705 of Lecture Notes in Artificial Intelligence, pp. 161-180. Springer-Verlag, Tbilisi, Georgia, 1999.
10. G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Methuen, London and New York, 1968.
11. F. Massacci. Single step tableaux for modal logics. Journal of Automated Reasoning, 24, 319-364, 2000.
12. J. Seligman. Internalisation: The case of hybrid logics. Journal of Logic and Computation, 11, 671-689, 2001. Special Issue on Hybrid Logics. C. Areces and P. Blackburn (eds.).
13. A.S. Troelstra and H. Schwichtenberg. Basic Proof Theory, volume 43 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1996.
14. M. Tzakova. Tableaux calculi for hybrid logics. In Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1999), volume 1617 of Lecture Notes in Artificial Intelligence, N. V. Murray, editor, pp. 278-292. Springer-Verlag, Saratoga Springs, USA, 1999.
15. Jan van Eijck. Constraint tableaux for hybrid logics. Manuscript, CWI, Amsterdam, 2002.