Please use this identifier to cite or link to this item:
http://hdl.handle.net/2381/1808
Title: | Transfer results for hybrid logic Part I: the case without satisfaction operators |
Authors: | Bezhanishvili, N. Ten Cate, B. |
First Published: | 2006 |
Citation: | Journal of Logic and Computation, 2006, 16, (2), pp.177-197 |
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. |
DOI Link: | 10.1093/logcom/exi056 |
ISSN: | 0955-792X |
Links: | http://logcom.oxfordjournals.org/content/16/2/177 http://hdl.handle.net/2381/1808 |
Type: | Article |
Appears in Collections: | Published Articles, Dept. of Computer Science |
Files in This Item:
There are no files associated with this item.
Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.