• Home
  • About
  • Policies
  • Contact
    • Türkçe
    • English
  • English 
    • Türkçe
    • English
  • Login
Advanced Search
View Item 
  •   Home
  • İKÜ Tezler / IKU Theses
  • Lisansüstü Eğitim Enstitüsü
  • Yüksek Lisans Tezleri / Master's Theses
  • Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program
  • View Item
  •   Home
  • İKÜ Tezler / IKU Theses
  • Lisansüstü Eğitim Enstitüsü
  • Yüksek Lisans Tezleri / Master's Theses
  • Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

S4 ve GL modal mantıklarının modelleri üzerine

Thumbnail
View/Open
İlaydaAteşYLTez.pdf (411.8Kb)
Author
Ateş, İlayda
Type
Thesis
Date
2012-06
Language
tr
Metadata
Show full item record
Abstract
Bu tezde, S4 ve GL modal mantıklarının sonlu Henkin ve filtreleme yöntemiyle elde edilen modellerinin izomorf olduğu ispatlanmıştır. Bu amaçla S4 ve GL modal mantıklarının modal tamlığından ve kanonik modellerinden yararlanılmıştır
 
We prove in this thesis that the models for the modal logics S4 and GL obtained by the finite Henkin method are isomorphic to the ones obtained by the filtration. For that purpose, we use the completeness and canonical models.
 
Subject
matematik
mathematics
URI
http://hdl.handle.net/11413/630
Collections
  • Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program [37]

İ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