Alaca, CihangirÜlker, Alper2025-03-232025-03-232010https://tez.yok.gov.tr/UlusalTezMerkezi/TezGoster?key=veR1mHu9yoWjwcVUjCEoPKdM5QyQFvVNFZz31JuPrR83D6uJ6uSP4cPxv5Ah7sTOhttps://hdl.handle.net/11486/2665Bu 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 .trinfo:eu-repo/semantics/openAccessMatematikMathematicsMaster Thesis150275716