Tableaux for quantified hybrid logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2381 LNAI, Issue , 2002, Pages 38-52

  Blackburn, Patrick ^a   Marx, Maarten ^b  

^a INRIA   (France)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FORMAL LOGIC; SEMANTICS; BINS;

DOMAIN SEMANTICS; FIRST ORDER; FIRST ORDER LOGIC; FIRST ORDER SENTENCES; HYBRID LOGIC; QUANTIFIED MODAL LOGIC; SOUND AND COMPLETE; TABLEAU SYSTEMS;

COMPUTER CIRCUITS; FORMAL LOGIC;

EID: 84885222943     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45616-3_4     Document Type: Conference Paper

References (13)

1. C. Areces, P. Blackburn, and M. Marx. Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3):977-1010, 2001.
2. C. Areces, P. Blackburn, and M. Marx. Repairing the interpolation lemma in quantified modal logic. Report PP-2001-19, ILLC. To appear in Annals of Pure and Applied Logic.
3. K. Fine. Failures of the interpolation lemma in quantified modal logic. Journal of Symbolic Logic, 44(2):201-206, 1979.
4. M. Fitting. First Order Logic and Automated Theorem Proving (second edition). Springer Verlag, 1996.
5. M. Fitting. Types, Tableaus, and Gödel's God. Unpublished Draft, 1999.
6. M. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998.
7. D. Gabbay. Labelled Deductive Systems. Oxford University Press, 1996.
8. R. Goré. Tableau methods for modal and temporal logics. In M D'Agostino, et al editors, Handbook of Tableau Methods, pages 297-396. Kluwer Academic Publishers, 1999.
9. John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, 1969.
10. J. Seligman. Internalization: The case of hybrid logic. Journal of Logic and Computation, 11(5):671-689, 2001.
11. R. Smullyan. First Order Logic. Springer-Verlag, 1968.
12. J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Naples, 1983.
13. J. van Benthem. Correspondence theory. In D.M. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic, Volume 2, pages 167-248. Reidel, Dordrecht, 1984.