Location of Repository

Transfer results for hybrid logic Part I: the case without satisfaction operators

By N. Bezhanishvili and B. Ten Cate

Abstract

We define for every Kripke complete modal logic L its hybrid companion LH and investigate which properties transfer from L to LH. For a specific class of logics, we present a satisfiability-preserving translation from LH to L. We prove that for this class of logics, complexity, (uniform) interpolation, and finite axiomatization transfer from L to LH. We also provide examples showing that, in general, none of complexity, decidability, the finite model property or the Beth property transfer

Year: 2006
DOI identifier: 10.1093/logcom
OAI identifier: oai:lra.le.ac.uk:2381/1808
Journal:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/2381/180... (external link)
  • http://logcom.oxfordjournals.o... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.