Öner, TahsinAçıksöz, Okan2016-04-262016-04-262006https://hdl.handle.net/11454/2441Bu tez temel olarak, topolojik uzaylar üzerinde modal lojigin yorumlanması durumundaki tanımlanabilirlik ile ilgilidir. Goldblatt- Thomason teoreminin bir topolojiksel benzeri ispatlanmıs. Bazı yeni topolojik yapılar tanıtılmıstır. Bunlardan biri olan kompakt genisleme kavramı, topolojide bilinen Stone-Cech kompaktifikasyonu fikrinin bir genellemesidir. Uygun topolojik operatörlere göre modal geçerliligin korunması sunulmustur.trinfo:eu-repo/semantics/openAccessModal Lojik, semantikler, topoloji, tanımlanabilirlik.Modal Logic, semantics, topology, definability.Matematik A.B.D.Master Thesis