PP-2004-06: Transfer results for hybrid logic -- Part I: the case without satisfaction operators

PP-2004-06: Bezhanishvili, Nick and ten Cate, Balder (2004) Transfer results for hybrid logic -- Part I: the case without satisfaction operators. [Report]

[img]
Preview
Text (Full Text)
PP-2004-06.text.pdf

Download (196kB) | Preview
[img] Text (Abstract)
PP-2004-06.abstract.txt

Download (506B)

Abstract

For every Kripke complete modal logic L we define its hybrid companion L_H. For a reasonable class of logics, we present a satisfiability-preserving translation from L_H to L. We prove that for this class of logics, complexity, (uniform) interpolation, finite axiomatization transfer from L to L_H.

Item Type: Report
Report Nr: PP-2004-06
Series Name: Prepublication (PP) Series
Year: 2004
Uncontrolled Keywords: hybrid logic, transfer, interpolation,complexity, axiomatization
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/117

Actions (login required)

View Item View Item