• Home
  • About
  • Policies
  • Contact
    • Türkçe
    • English
  • English 
    • Türkçe
    • English
  • Login
Advanced Search
View Item 
  •   Home
  • Fen Edebiyat Fakültesi / Faculty of Letters and Sciences
  • Matematik - Bilgisayar / Mathematics and Computer Science
  • Makaleler / Articles
  • View Item
  •   Home
  • Fen Edebiyat Fakültesi / Faculty of Letters and Sciences
  • Matematik - Bilgisayar / Mathematics and Computer Science
  • Makaleler / Articles
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Unifiability In Extensions Of K4

Thumbnail
Author
Gencer, Çiğdem
De Jongh, Dick
Type
Article
Date
2009-04
Language
en_US
Metadata
Show full item record
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.
Subject
Unification
unifier
provability logic
closed formula
universal model
logic
birleşme
sağlamasının mantığı
kapalı formülü
mantık
evrensel model
URI
http://hdl.handle.net/11413/1260
Collections
  • Makaleler / Articles [209]
  • Scopus Publications [724]
  • WoS Publications [1016]

İstanbul Kültür University

Hakkında |Politika | Kütüphane | İletişim | Send Feedback | Admin

Istanbul Kültür University, Ataköy Campus E5 Karayolu Üzeri Bakırköy 34158, İstanbul / TURKEY
Copyright © İstanbul Kültür University

Creative Commons Lisansı
IKU Institutional Repository, Creative Commons Alıntı-GayriTicari-Türetilemez 4.0 Uluslararası Lisansı ile lisanslanmıştır.

Designed by  UNIREPOS

İKU Kütüphane


Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypeLanguageBy PublisherRightsPubmedScopusWoSThis CollectionBy Issue DateAuthorsTitlesSubjectsTypeLanguageBy PublisherRightsPubmedScopusWoS

My Account

Login

İstanbul Kültür University

Hakkında |Politika | Kütüphane | İletişim | Send Feedback | Admin

Istanbul Kültür University, Ataköy Campus E5 Karayolu Üzeri Bakırköy 34158, İstanbul / TURKEY
Copyright © İstanbul Kültür University

Creative Commons Lisansı
IKU Institutional Repository, Creative Commons Alıntı-GayriTicari-Türetilemez 4.0 Uluslararası Lisansı ile lisanslanmıştır.

Designed by  UNIREPOS