Unifiability in extensions of K4
LOGIC JOURNAL OF THE IGPL, vol.17, no.2, pp.159-172, 2009 (SCI-Expanded, Scopus)
- Publication Type: Article / Article
- Volume: 17 Issue: 2
- Publication Date: 2009
- Doi Number: 10.1093/jigpal/jzn032
- Journal Name: LOGIC JOURNAL OF THE IGPL
- Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Page Numbers: pp.159-172
- Open Archive Collection: AVESIS Open Access Collection
- Istanbul Kültür University Affiliated: Yes
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.