PP-2007-38: Unifiability in extensions of K4

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

[thumbnail of Full Text]
Text (Full Text)

Download (137kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (450B)


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: Prof. Dick de Jongh
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