Lower-Top and Upper-Bottom Points for Any Formula in Temporal Logic
| dc.contributor.advisor | Alizade, Rafail | |
| dc.contributor.author | Baysal, Onur | |
| dc.contributor.other | 04.02. Department of Mathematics | |
| dc.contributor.other | 04. Faculty of Science | |
| dc.contributor.other | 01. Izmir Institute of Technology | |
| dc.date.accessioned | 2014-07-22T13:51:31Z | |
| dc.date.available | 2014-07-22T13:51:31Z | |
| dc.date.issued | 2006 | |
| dc.description | Thesis (Master)--Izmir Institute of Technology, Mathematics, Izmir, 2006 | en_US |
| dc.description | Includes bibliographical references (leaves: 45) | en_US |
| dc.description | Text in English: Abstract: Turkish and English | en_US |
| dc.description | vii, 45 leaves | en_US |
| dc.description.abstract | In temporal logic, which is a branch of modal logic, models are constructed on some kind of frames. Common properties of all these frames include totally ordered relations and these frames are bi-directional. These common properties provide the temporal logic time interpretation. By means of this interpretation temporal language has lots of application areas. The main aim of this study is to propose new technic which gets easier proof of some kind of valid formulas in the most popular temporal frame T and to produce new valid formulas with the medium of this new technic. To be able to realize this main aim, first of all the frame T . (N;6;>;R±;R for temporal language has been composed step by step in accordance with principles of modal logic. Then the new terms " lower-top and upper-bottom points for any temporal formula " has been defined in the model M . (T; V ) which is built over the frame T and some propositions of this term have been obtained. At the end of the study it has been presented that proofs of some theorems have been done easier and it has been given possibility to produce the new theorems.Moreover a general investigation about the frame T has been done and presented, furthermore it has been shown that the mirror image of the valid formulas do not have to be valid and it is also possible that the mirror image of non valid formulas can be valid. | en_US |
| dc.identifier.uri | https://hdl.handle.net/11147/3424 | |
| dc.language.iso | en | en_US |
| dc.publisher | Izmir Institute of Technology | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Temporal logic | en_US |
| dc.subject | Modal logic | en_US |
| dc.subject.lcc | QA9.46 .B35 2006 | en |
| dc.subject.lcsh | Modality (Logic) | en |
| dc.subject.lcsh | Logic, Symbolic and mathematical | en |
| dc.title | Lower-Top and Upper-Bottom Points for Any Formula in Temporal Logic | en_US |
| dc.type | Master Thesis | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Baysal, Onur | |
| gdc.author.institutional | Alizade, Rafail | |
| gdc.coar.access | open access | |
| gdc.coar.type | text::thesis::master thesis | |
| gdc.description.department | Thesis (Master)--İzmir Institute of Technology, Mathematics | en_US |
| gdc.description.publicationcategory | Tez | en_US |
| gdc.description.scopusquality | N/A | |
| gdc.description.wosquality | N/A | |
| relation.isAuthorOfPublication | 3de5f36f-567c-4d2e-8621-52c01ff78233 | |
| relation.isAuthorOfPublication.latestForDiscovery | 3de5f36f-567c-4d2e-8621-52c01ff78233 | |
| relation.isOrgUnitOfPublication | 9af2b05f-28ac-4012-8abe-a4dfe192da5e | |
| relation.isOrgUnitOfPublication | 9af2b05f-28ac-4005-8abe-a4dfe193da5e | |
| relation.isOrgUnitOfPublication | 9af2b05f-28ac-4003-8abe-a4dfe192da5e | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 9af2b05f-28ac-4012-8abe-a4dfe192da5e |