S4 ve GL modal mantıklarının modelleri üzerine
| dc.contributor.advisor | Gencer Balbiani, Çiğdem | |
| dc.contributor.author | Ateş, İlayda | |
| dc.date.accessioned | 2021-05-08T07:11:08Z | |
| dc.date.available | 2021-05-08T07:11:08Z | |
| dc.date.submitted | 2012 | |
| dc.date.issued | 2018-08-06 | |
| dc.identifier.uri | https://acikbilim.yok.gov.tr/handle/20.500.12812/628943 | |
| dc.description.abstract | Bu tezde, S4 ve GL modal mantıklarının sonlu Henkin ve filtreleme yöntemiyle elde edilen modellerinin izomorf olduğu ispatlanmıştır. Bu amaçla S4 ve GL modal mantıklarının modal tamlığından ve kanonik modellerinden yararlanılmıştır. | |
| dc.description.abstract | We prove in this thesis that the models for the modal logics S4 and GL obtained by the finite Henkin method are isomorphic to the ones obtained by the filtration. For that purpose, we use the completeness 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 | S4 ve GL modal mantıklarının modelleri üzerine | |
| dc.title.alternative | On models of the modal logics S4 and GL | |
| dc.type | masterThesis | |
| dc.date.updated | 2018-08-06 | |
| dc.contributor.department | Matematik Bilgisayar Ana Bilim Dalı | |
| dc.subject.ytm | Logic | |
| dc.subject.ytm | Modal logic | |
| dc.subject.ytm | Completeness | |
| dc.identifier.yokid | 439021 | |
| dc.publisher.institute | Fen Bilimleri Enstitüsü | |
| dc.publisher.university | İSTANBUL KÜLTÜR ÜNİVERSİTESİ | |
| dc.identifier.thesisid | 320800 | |
| dc.description.pages | 72 | |
| 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