Publication: Unifiability In Extensions Of K4
No Thumbnail Available
Date
2009-04
Authors
Gencer, Çiğdem
De Jongh, Dick
Journal Title
Journal ISSN
Volume Title
Publisher
Oxford Univ Press, Great Clarendon St, Oxford Ox2 6Dp, England
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.
Description
Keywords
Unification, unifier, provability logic, closed formula, universal model, logic, birleşme, sağlamasının mantığı, kapalı formülü, mantık, evrensel model