Natural deduction for hybrid logic

Journal of Logic and Computation

Volumn 14, Issue 3, 2004, Pages 329-353

  Braüner, Torben ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

Gentzen systems; Hybrid logic; Modal logic; Natural deduction

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL GEOMETRY; COMPUTATIONAL METHODS; PROBLEM SOLVING; THEOREM PROVING;

GENTZEN SYSTEMS; HYBRID LOGIC; MODAL LOGIC; NATURAL DEDUCTION;

FORMAL LOGIC;

EID: 3042834700     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/14.3.329     Document Type: Article

References (30)

1. C. Areces, P. Blackburn, and M. Marx. Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66, 977-1010, 2001.
2. D. Basin, S. Matthews, and L. Viganò. Labelled propositional modal logics: theory and practice. Journal of Logic and Computation, 7, 685-717, 1997.
3. P. Blackburn. Internalizing labelled deduction. Journal of Logic and Computation, 10, 137-168, 2000.
4. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
5. P. Blackburn and M. Marx. Constructive interpolation in hybrid logic. Journal of Symbolic Logic, 68, 463-480, 2003.
6. P. Blackburn and M. Tzakova. Hybridizing concept languages. Annals of Mathematics and Artificial Intelligence, 24, 23-49, 1998.
7. T. Braüner. Natural deduction for hybrid logic (extended abstract). In Workshop Proceedings of Methods for Modalities 2, C. Areces and M. de Rijke, eds. ILLC Amsterdam, 2001.
8. T. Braüner. Modal logic, truth, and the master modality. Journal of Philosophical Logic, 31, 359-386, 2002. Revised and extended version of paper in Advances in Modal Logic, Volume 3, World Scientific.
9. T. Braüner. Modal logic, truth, and the master modality. Journal of Philosophical Logic, 31, 359-386, 2002. Revised and extended version of paper in Advances in Modal Logic, Volume 3, World Scientific.
10. T. Brauner. Functional completeness for a natural deduction formulation of hybridized S5. In Advances in Modal Logic, Volume 4, P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, eds, pp. 31-49. King's College Publications, 2003. An earlier version was given at Advances in Modal Logic, 2002.
11. T. Brauner. Functional completeness for a natural deduction formulation of hybridized S5. In Advances in Modal Logic, Volume 4, P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, eds, pp. 31-49. King's College Publications, 2003. An earlier version was given at Advances in Modal Logic, 2002.
12. T. Braüner. Natural deduction for first-order hybrid logic. 2004. Submitted for journal publication. Hard-copies available from the author. Full version of paper in Workshop Proceedings of Fourth Workshop on Hybrid Logics.
13. T. Braüner. Two natural deduction systems for hybrid logic: A comparison. Journal of Logic, Language and Information, 13, 1-23, 2004.
14. K. Broda, M. Finger, and A. Russo. Labelled natural deduction for substructural logics. Logic Journal of the IGPL, 7, 283-318, 1999.
15. R. Bull and K. Segerberg. Basic modal logic. In Handbook of Philosophical Logic, Vol. II, Extensions of Classical Logic, D. Gabbay and F. Guenthner, eds, pp. 1-88. D. Reidel Publishing Company, 1984.
16. M. Fitting. Proof Methods for Modal and Intuitionistic Logic. Reidel, 1983.
17. D. Gabbay. Labelled Deductive Systems. Oxford University Press, 1996.
18. G. Gentzen. Investigations into logical deduction. In The Collected Papers of Gerhard Gentzen, M. E. Szabo, ed., pp. 68-131. North-Holland Publishing Company, 1969.
19. P. Hasle, P. Øhrstrøm, T. Braüner, and J. Copeland (editors). Revised and Expanded Edition of Arthur N. Prior: Papers on Time and Tense. Oxford University Press, 2002.
20. P. Øhrstrøm and P. Hasle. A. N. Prior's rediscovery of tense logic. Erkenntnis, 39, 23-50, 1993.
21. D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almqvist and Wiksell, Stockholm, 1965.
22. D. Prawitz. Ideas and results in proof theory. In Proceedings of the Second Scandinavian Logic Symposium, J. E. Fenstad, ed., volume 63 of Studies in Logic and The Foundations of Mathematics, pp. 235-307. North-Holland, 1971.
23. A. Prior. Past, Present and Future. Clarendon/Oxford University Press, 1967.
24. A. Prior. Papers on Tune and Tense. Clarendon/Oxford University Press, 1968.
25. J. Seligman. The logic of correct description. In Advances in Intensional Logic, M. de Rijke, ed., Applied Logic Series, pp. 107-135. Kluwer, 1997.
26. 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.
27. A. Simpson. The Proof Theory and Semantics of Intuitionistic Modal logic. PhD thesis, University of Edinburgh, 1994.
28. A.S. Troelstra and H. Schwichtenberg. Basic Proof Theory, volume 43 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1996.
29. M. Tzakova. Tableaux calculi for hybrid logics. In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'99), N. V. Murray, ed., volume 1617 of LNAI, pp. 278-292. Springer-Verlag, 1999.
30. S. Vickers. Topology via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.