Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Journal of Logic, Language and Information

Volumn 15, Issue 3, 2006, Pages 179-194

  Braüner, Torben ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

Axiom systems; Constructive logic; Hybrid logic; Intuitionistic logic; Modal logic; Paraconsistent logic; Strong negation

Indexed keywords

EID: 33748773891     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1007/s10849-006-9013-2     Document Type: Article

References (20)

1. Areces, C., Blackburn, P., & Marx, M. (2001). Hybrid logics: characterization, interpolation and complexity. Journal of Symbolic Logic, 66, 977-1010.
2. 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.
3. Blackburn, P. (1993). Nominal tense logic. Notre Dame Journal of Formal Logic, 14, 56-83.
4. Blackburn, P. (2000). Internalizing labelled deduction. Journal of Logic and Computation, 10, 137-168.
5. Blackburn, P., de Rijke, M., & Venema, Y. (2001) Modal logic, vol. 53 of Cambridge tracts in theoretical computer science. Cambridge University Press.
6. 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.
7. Blackburn, P., & Tzakova, M. (1999). Hybrid languages and temporal logic. Logic Journal of the IGPL, 7, 27-54.
8. Braüner, T. (2004a). Natural deduction for hybrid logic. Journal of Logic and Computation, 14, 329-353.
9. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2.
10. Braüner, T. (2004b). Two natural deduction systems for hybrid logic : a comparison. Journal of Logic, Language and Information, 13, 1-23.
11. Braüner, T. (2005). Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information, 14, 173-198.
12. Revised and extended version of paper in Works/top Proceedings of Fourth Workshop on Hybrid Logics.
13. Braüner, T., & de Paiva, V. (2005). Intuitionistic hybrid logic. Journal of Applied Logic. To appear.
14. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 3.
15. Ewald, W. B. (1986). Intuitionistic tense and modal logic. Journal of Symbolic Logic, 51, 166-179.
16. Seligman, J. (1997). The logic of correct description. In M. de Rijke (Ed.), Advances in Intensional Logic (pp. 107-135). Applied Logic Series. Kluwer.
17. Simpson, A. (1994). The proof theory and semantics of intuitionistic modal logic. Ph.D. thesis, University of Edinburgh.
18. Troelstra, A., & van Dalen, D. (1988). Constructivism in Mathematics: An Introduction, North-Holland.
19. Vickers, S. (1988). Topology via Logic, Vol. 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
20. Wansing, H., & Odintsov, S. (2003). Inconsistency-tolerant description logic. Motivation and basic systems. In V. Hendricks & J. Malinowski (Eds.), 50 Years of Studio Logica, Vol. 21 of Trends in Logic Series (pp. 301-335). Kluwer.