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 mant k, makul olma, sa glaml k,taml k, kanonik model, sonlu Henkin y ontemi,filtreleme y ontemi.