Tableaux approaches for region based theories of space

Abstract

Uzay n b olgeye dayal teorilerini i cin tablo yakla s m n inceledi gimiz bu tez be s b ol umden olu smaktad r. Tezin ilk k sm nda problemin tan m ve uygulanan y ontemler verilmi stir. Tezin ikinci ve u c unc u k sm nda uzay n b olgeye dayal teorisinin sentaks, semantik ve aksiyomatik ozellikleri tan t larak uzay n b olgeye dayal teorisi i cin tablo kurallar verilmi s ve tablo y onteminin temel kavramlar olan; ba slang c tablosu, a c k ve kapal tablo, dal, d u g um kavramlar ifade edilerek tablo kurallar n n uygulamalar orneklerle ayr nt l olarak a c klanm st r. Tablo kurallar n n sonlanma ve sa glaml k teoremleri ve kan tlar verilmi stir. Ayr ca tablo kurallar i cin taml k teoreminin kan t nda kullan lan sistematik tablo in sa y ontemi, do gruluk lemmas ve taml k teoremleri ve ispat lar verilmi stir. Ek olarak, uzay n b olgeye dayal teorisinin modellerini geni sleterek simetrik, yans mal ve ge ci smeli olmas durumunda tablo kurallar tan mlanarak, sonlanma, sa glaml k ve taml k teoremlerinin kan t nda kullan lan yard mc teoremler ve bu teoremlerin kan tlar ayr nt l olarak verilmi stir. Tezin d ord unc u k sm nda, ba g nt l mant klar n bir geni slemesi olan evrensel modalite i ceren ba g nt l mant klar n; sentaks, semantik ve aksiyomatik ozellikleri tan t larak, tablo kurallar verilmi s ve uygulamalar orneklerle ayr nt l olarak a c klanm st r. Ard ndan tablo kurallar n n sonlanma ve sa glaml k teoremleri ve kan tlar verilmi stir. Ayr ca tablo kurallar i cin do gruluk lemmas ve taml k teoreminin kan tlar verilmi stir. Be sinci b ol umde, ba g nt l mant klar n farkl bir semanti gi olan reel say aral klar uzerindeki yorumu uzerine cal s lm s ve bu ba glamda; sentaks, semantik ve aksiyomatik ozellikleri tan t larak, tablo kurallar verilmi s ve tablo kurallar n n uygulamalar orneklerle ayr nt l olarak a c klanm st r. Ek olarak, tablo kurallar n n sonlanma ve sa glaml k teoremleri kan tlar ile verilmi stir. Ayr ca tablo kurallar i cin do gruluk lemmas ve taml k teoreminin kan t verilmi stir.