PP-2007-38: Unifiability in extensions of K4

PP-2007-38: Gencer, Çigdem and de Jongh, Dick (2007) Unifiability in extensions of K4. [Report]

[img]
Preview
Text (Full Text)
PP-2007-38.text.pdf

Download (137kB) | Preview
[img] Text (Abstract)
PP-2007-38.abstract.txt

Download (450B)

Abstract

We give a semantic characterization for unifiability and non-unifiablity in the extensions of K4. We apply this in particular to extensions of KD4, GL and K4.3 to obtaina syntactic characterization and prove decidability for these logics. For that purpose we use universal models.

Item Type: Report
Report Nr: PP-2007-38
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: unification; closed formula; universal model; provability logic; unifier
Subjects: Logic
Depositing User: dickdj
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/272

Actions (login required)

View Item View Item