K ve K4 modal mantıklarının modelleri üzerine
| dc.contributor.advisor | Gencer Balbiani, Çiğdem | |
| dc.contributor.author | Kahraman, Onur | |
| dc.date.accessioned | 2021-05-08T07:11:11Z | |
| dc.date.available | 2021-05-08T07:11:11Z | |
| dc.date.submitted | 2011 | |
| dc.date.issued | 2018-08-06 | |
| dc.identifier.uri | https://acikbilim.yok.gov.tr/handle/20.500.12812/628967 | |
| dc.description.abstract | Bu tezde, K ve K4 modal mantıklarının sonlu Henkin yöntemiyle ve filtreleme yöntemiyle elde edilen modal modellerinin izomorf oldukları kanıtlanmıştır. Bu amaçla K ve K4'ün modal tamlığından ve kanonik modellerden yararlanılmıştır. | |
| dc.description.abstract | We prove the models obtained for the modal logics K and K4 by the finite Henkin method is isomorphic to the ones obtained by filtration in this thesis. For that purpose we use modal completeness of K, K4 and canonical models. | en_US |
| dc.language | Turkish | |
| dc.language.iso | tr | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | Attribution 4.0 United States | tr_TR |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | Matematik | tr_TR |
| dc.subject | Mathematics | en_US |
| dc.title | K ve K4 modal mantıklarının modelleri üzerine | |
| dc.title.alternative | On models of the modal logics K and K4 | |
| dc.type | masterThesis | |
| dc.date.updated | 2018-08-06 | |
| dc.contributor.department | Matematik Bilgisayar Ana Bilim Dalı | |
| dc.subject.ytm | Filtration | |
| dc.subject.ytm | Completeness | |
| dc.identifier.yokid | 421100 | |
| dc.publisher.institute | Fen Bilimleri Enstitüsü | |
| dc.publisher.university | İSTANBUL KÜLTÜR ÜNİVERSİTESİ | |
| dc.identifier.thesisid | 304928 | |
| dc.description.pages | 54 | |
| dc.publisher.discipline | Diğer |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess