Skip Navigation



Journal of Logic and Computation Advance Access published online on March 13, 2008
Journal of Logic and Computation, doi:10.1093/logcom/exn005
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Braüner, T.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2008. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original papers

Adding Intensional Machinery to Hybrid Logic

Torben Braüner

Programming, Logic and Intelligent Systems Research Group, Roskilde University, DK-4000 Roskilde, Denmark. E-mail: torben{at}ruc.dk

In this article we give an intensional version of first-order hybrid logic (which also can be viewed as a hybridized version of Fitting's First-Order Intensional Logic). We consider two different kinds of models—standard models and generalized models. The standard models are the same as Fitting's models for First-Order Intensional Logic. As the name suggests, the generalized models are more general. We give a natural deduction system which is completete with respect to generalized models. The natural deduction system is not complete with respect to standard models, but we show how to extend it with a further rule such that completeness with respect to standard models is obtained.

Keywords: Hybrid logic; modal logic; intensional logic; natural deduction



References

  1. Areces C, P Blackburn, M Marx. Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic (2001) 66:977–1010.[CrossRef][ISI]
  2. Areces C, P Blackburn, M Marx. Repairing the interpolation theorem in quantified modal logic. Annals of Pure and Applied Logic (2003) 124:287–299.[CrossRef][ISI]
  3. Blackburn P. Internalizing labelled deduction. Journal of Logic and Computation (2000) 10:137–168.[Abstract/Free Full Text]
  4. Blackburn P, de Rijke M, Venema Y. Modal Logic. In: Vol. 53 of Cambridge Tracts in Theoretical Computer Science (2001) Cambridge University Press.
  5. Blackburn P, M Marx. Tableaux for quantified hybrid logic. In: Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002—Egly U, Fermüller C, eds. (2002) Springer-Verlag. 38–52. Vol. 2381 of Lecture Notes in Artificial Intelligence.
  6. Braüner T. Natural deduction for hybrid logic (extended abstract). In: Workshop Proceedings of Methods for Modalities 2—Areces C, de Rijke M, eds. (2001) Amsterdam: ILLC.
  7. Braüner T. Natural deduction for first-order hybrid logic. In: Workshop Proceedings of Fourth Workshop on Hybrid Logics—Areces C, Blackburn P, Marx M, Sattler U, eds. (2002) 37–51. IEEE Symposium on Logic in Computer Science.
  8. Braüner T. Natural deduction for hybrid logic. Journal of Logic and Computation (2004) 14:329–353.[Abstract/Free Full Text]
  9. Braüner T. Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information (2005) 14:173–198.[CrossRef]
  10. Braüner T, S Ghilardi. First-order modal logic. In: Handbook of Modal Logic—Blackburn P, van Benthem J, Wolter F, eds. (2006) Elsevier. 549–620.
  11. Fitting M. Types, Tableaus, and Gödel's God. (2002) Kluwer.
  12. Fitting M. First-order intensional logic. Annals of Pure and Applied Logic (2004) 127:171–193. Essays in the memory of Alfred Tarski. Parts IV, V and VI.[CrossRef][ISI]
  13. Fitting M. FOIL axiomatized. Studia Logica (2006) 84:1–22.[CrossRef]
  14. Gallin D. Intensional and Higher-order Modal Logic. (1975) Amsterdam: North-Holland.
  15. Garson JW. Quantification in modal logic. In: Handbook of Philosophical Logic—Gabbay DM, Guenthner F, eds. (2001) Vol. 3, 2nd Edition. Kluwer Academic Publishers. 267–323.
  16. Hughes GE, Cresswell MJ. A New Introduction to Modal Logic (1996) Routledge.
  17. Lindstrlm S, Segerberg K. Modal logic and philosophy. In: Handbook of Modal Logic—Blackburn P, van Benthem J, Wolter F, eds. (2006) Elsevier. 1149–1214.
  18. Montague R. On the nature of certain philosophical entities. In: Formal Philosophy, Selected Papers of Richard Montague (1974) Yale University Press. 148–187.
  19. Parks Z. Investigations into quantified modal logic–I. Studia Logica (1976) 35:109–125.[CrossRef]
  20. Prawitz D. Natural Deduction. A Proof-Theoretical Study. (1965) Stockholm: Almqvist and Wiksell.
  21. Prawitz D. Ideas and results in proof theory. In: Proceedings of the Second Scandinavian Logic Symposium—Fenstad JE, ed. (1971) North-Holland. 235–307. Vol. 63 of Studies in Logic and The Foundations of Mathematics.
  22. Scott DS. Advice on modal logic. In: Philosophical Problems in Logic—Lambert K, ed. (1970) D. Reidel Publishing Company. 143–173.
  23. Troelstra AS, Schwichtenberg H. Basic Proof Theory. In: Vol. 43 of Cambridge Tracts in Theoretical Computer Science (1996) Cambridge University Press.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Braüner, T.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?