Publication: Unifiability In Extensions Of K4
Loading...
Date
KU Authors
Authors
Gencer, Çiğdem
De Jongh, Dick
Advisor
Journal Title
Journal ISSN
Volume Title
Type
Abstract
We extend and generalize the work on unifiability of [8]. We give a semantic characterization for unifiability and non-unifiability in the extensions of K4. We apply this in particular to extensions of KD4, GL and K4.3 to obtain a syntactic characterization and give a concrete decision procedure for unifiability for those logics. For that purpose we use universal models.