Natural deduction for first-order hybrid logic

Journal of Logic, Language and Information

Volumn 14, Issue 2, 2005, Pages 173-198

  Braüner, Torben ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

First order hybrid logic; First order modal logic; Natural deduction

Indexed keywords

EID: 18244364121     PISSN: 09258531     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10849-005-3927-y     Document Type: Article

References (29)

1. Areces, C., Blackburn, P., and Marx, M., 2003, "Repairing the interpolation theorem in quantified modal logic," Annals of Pure and Applied Logic 124, 287-299.
2. Basin, D., Matthews, S., and Viganò, L., 1997, "Labelled propositional modal logics: Theory and practice," Journal of Logic and Computation 7, 685-717.
3. Basin, D., Matthews, S., and Viganò, L., 1998, "Labelled modal logics: Quantifiers," Journal of Logic, Language and Information 7, 237-263.
4. Bencivenga, E., 2002, "Free logics," in Hand-book of Philosophical Logic, 2nd Edition, Vol. 5., D. Gabbay and F. Guenthner, eds., Dordrecht: Kluwer Academic Publishers, pp. 147-196.
5. Blackburn, P., 2000, "Internalizing labelled deduction," Journal of Logic and Computation 10, 137-168.
6. Blackburn, P. and Marx, M., 2002, "Tableaux for quantified hybrid logic," pp. 38-52 in Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, Vol. 2381, U. Egly and C. Fermüller (eds.), Lecture Notes in Artificial Intelligence, Springer-Verlag.
7. Blackburn, P., de Rijke, M., and Venema, Y., 2001, Modal Logic, Vol. 53, Cambridge Tracts in Theoretical Computer Science, Cambridge: Cambridge University Press.
8. Braüner, T., 2002a, "Modal logic, truth, and the master modality," Journal of Philosophical Logic 31, 359-386.
9. Revised and extended version of paper in Advances in Modal Logic, Vol. 3, World Scientific.
10. Braüner, T., 2002b, "Natural deduction for first-order hybrid logic," pp. 37-51 in Workshop Proceedings of Fourth Workshop on Hybrid Logics. Affiliated to IEEE Symposium on Logic in Computer Science, C. Areces, P. Blackburn, M. Marx, and U. Sattler (eds.).
11. Braüner, T., 2004a, "Axioms for classical and constructive hybrid logic," Manuscript, Hard-copies available from the author.
12. Braüner, T., 2004b, "Natural deduction for hybrid logic," Journal of Logic and Computation 14, 329-353.
13. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2.
14. Brauner, T., 2004c, "Two natural deduction systems for hybrid logic: A comparison," Journal of Logic, Language and Information 13, 1-23.
15. Brauner, T. and de Paiva, V., 2003, "Towards constructive hybrid logic (Extended Abstract)," p. 15 in Workshop Proceedings of Methods for Modalities 3. C. Areces and P. Blackburn, eds.
16. Braüner, T. and Ghilardi, S., 2005, "First-order modal logic," in Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter, eds., Elsevier, in preparation.
17. Fitting, M. and Mendelsohn, R., 1998, First-Order Modal Logic, Dordrecht: Kluwer Academic Publishers.
18. Garson, J., 2001, "Quantification in modal logic," pp. 267-323 in Handbook of Philosophical Logic, 2nd Edition, Vol. 3., D. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer Academic Publishers.
19. Gentzen, G., 1969, "Investigations into logical deduction," pp. 68-131 in The Collected Papers of Gerhard Gentzen. M.E. Szabo, ed., North-Holland Publishing Company.
20. Hasle, P., Øhrstrøm, P., Braüner, T., and Copeland, J., eds., 2003, Revised and Expanded Edition of Arthur N. Prior: Papers on Time and Tense, Oxford University Press, 342 pp.
21. Hughes, G. and Cresswell, M., 1996, A New Introduction to Modal Logic, Routledge.
22. Øhrstrøm, P. and Hasle, P., 1993, "A. N. prior's rediscovery of tense logic," Erkenntnis 39, 23-50.
23. Prawitz, D., 1965, Natural Deduction. A Proof-Theoretical Study, Stockholm: Almqvist and Wiksell.
24. Prawitz, D., 1971, "Ideas and results in proof theory," pp. 235-307 in Proceedings of the Second Scandinavian Logic Symposium, Vol. 63 of Studies in Logic and The Foundations of Mathematics, J.E. Fenstad, ed., North-Holland.
25. Prior, A., 1968, Papers on Time and Tense, Clarendon/Oxford University Press.
26. Seligman, J., 1997, "The logic of correct description," pp. 107-135 in Advances in Intensional Logic, M. de Rijke, ed., Applied Logic Series, Dordrecht: Kluwer Academic Publishers.
27. Simpson, A., 1994, "The proof theory and semantics of intuitionistic modal logic," Ph.D. Thesis, University of Edinburgh.
28. Troelstra, A. and Schwichtenberg, H., 1996, Basic Proof Theory, Vol. 43, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.
29. Vickers, S., 1988, Topology via Logic, Vol. 5, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.