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 Full Text (PDF)
Right arrow References
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


  Abstract

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


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




Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.