S5EC ve KD45-O modal mantıklarının modelleri üzerine

Abstract

Bu tezde, S5EC ve KD45-O modal mantıklarının sonlu Henkin ve filtreleme yöntemiyle elde edilen modellerinin izomorf olduğu ispatlanmıştır. Bu amaçla, S5EC ve KD45-O modal mantıklarının modal tamlığından ve kanonik modellerinden yararlanılmıştır.Anahtar Kelimeler : Epistemik mantk, makul olma, saglamlk,tamlk, kanonik model, sonlu Henkin yontemi,filtreleme yontemi.

We prove in this thesis that the models for the modal logics S5EC and KD45-O obtained by the finite Henkin method are isomorphic to the ones obtained by the filtration. For that propose, we use the completeness and canonical model.Keywords : Epistemic logic, plausibility, soundness,completeness, canonical model, nite Henkin method,filtration method.