Abstract
In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Areces, C., Blackburn, P.,& Marx, M. (2001). Hybrid logics: characterization, interpolation and complexity. Journal of Symbolic Logic, 66, 977–1010.
Bencivenga, E. (2002). Free logics. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 5, pp. 147–196). Kluwer Academic Publishers.
Blackburn, P. (1993). Nominal tense logic. Notre Dame Journal of Formal Logic, xity. Journal of Symbolic Logic, 66, 977–1010.
Bencivenga, E. (2002). Free logics. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 5, pp. 147–196). Kluwer Academic Publishers.
Blackburn, P. (1993). Nominal tense logic. Notre Dame Journal of Formal Logic, 14, 56–83.
Blackburn, P. (2000). Internalizing labelled deduction. Journal of Logic and Computation, 10, 137–168.
Blackburn, P., de Rijke, M., & Venema, Y. (2001) Modal logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
Blackburn, P., & ten Cate, B. (2004). Pure extensions, proof rules, and hybrid axiomatics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & H. Wansing (Eds.), Preliminary Conference Proceedings of Advances in Modal Logic 2004. Department of Computer Science, University of Manchester. Technical Report Series UMCS-04-9-1.
Blackburn, P., & Tzakova, M. (1999). Hybrid languages and temporal logic. Logic Journal of the IGPL, 7, 27–54.
Braüner, T. (2004a). Natural deduction for hybrid logic. Journal of Logic and Computation, 14, 329–353. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2.
Braüner, T. (2004b). Two natural deduction systems for hybrid logic: a comparison. Journal of Logic, Language and Information, 13, 1–23.
Braüner, T. (2005). Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information, 14, 173–198. Revised and extended version of paper in Workshop Proceedings of Fourth Workshop on Hybrid Logics.
Braüner, T., & de Paiva, V. (2005). Intuitionistic hybrid logic. Journal of Applied Logic. To appear. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 3.
Ewald, W. B. (1986). Intuitionistic tense and modal logic.Journal of Symbolic Logic, 51, 166–179.
Seligman, J. (1997). The logic of correct description. In M. de Rijke (Ed.), Advances in Intensional Logic (pp. 107–135). Applied Logic Series. Kluwer.
Simpson, A. (1994). The proof theory and semantics of intuitionistic modal logic. Ph.D. thesis, University of Edinburgh.
Troelstra, A., & van Dalen, D. (1988). Constructivism in Mathematics: An Introduction. North-Holland.
Vickers, S. (1988). Topology via Logic, Vol. 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
Wansing, H., & Odintsov, S. (2003). Inconsistency-tolerant description logic. Motivation and basic systems. In V. Hendricks & J. Malinowski (Eds.), 50 Years of Studia Logica, Vol. 21 of Trends in Logic Series (pp. 301–335). Kluwer.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Braüner, T. Axioms for classical, intuitionistic, and paraconsistent hybrid logic. JoLLI 15, 179–194 (2006). https://doi.org/10.1007/s10849-006-9013-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-006-9013-2