Dinamik topolojik sistemler üzerine
[ X ]
Tarih
2010
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Sinop Üniversitesi
Erişim Hakkı
info:eu-repo/semantics/openAccess
Özet
Bu tez çalışmasında, S4 lojiğinin Kripke semantikleri üzerinde durulup, topolojik anlamda tanımlanabilirliği, sağlamlığı ve tamlığı gösterilmiştir. Ayrıca sürekli fonksiyonlar yardımıyla ve temporal modaliteler ile oluşturulan S4C ve S4-next lojikleri tanıtılarak S4 sisteminin durağan lojiğinden dinamik S4C ve S4-next lojiklerinin nasıl oluşturulduğu incelenmiştir.
In this thesis, definability, soundness and completeness were showed with topological interpretations of S4 logic. Moreover S4C and S4-next logics which are built by continuous functions and temporal modalities has been given. So the statical logic S4 has enriched to the dynamic logic S4C and S4-next .
In this thesis, definability, soundness and completeness were showed with topological interpretations of S4 logic. Moreover S4C and S4-next logics which are built by continuous functions and temporal modalities has been given. So the statical logic S4 has enriched to the dynamic logic S4C and S4-next .
Açıklama
Anahtar Kelimeler
Matematik, Mathematics
