On dynamic topological systems
Is this your thesis?
This record came from a bulk archive import. If it’s yours, link it to your profile.
Abstract (EN)
In this thesis, definability, soundness and completeness were showed with topological interpretations of S4 logic. Moreover S4C and S4-next logics which are built by continuous functions and temporal modalities has been given. So the statical logic S4 has enriched to the dynamic logic S4C and S4-next .
Author
Alper Ülker
How to Cite
Alper Ülker (Master Thesis). On dynamic topological systems, 2010, Sinop University.
Keywords
License
Tüm Hakları Saklıdır
This work is shared under the specified license terms.
More theses from Sinop University
- Boyabat population according to number 852, 853, 854 population books(2018)
- The effects of process-based story writing approach supported with visuals on story writing anxiety and skills(2023)
- Reflections of Ancient Egyptian beliefs on society(2021)
- Transcription and evaluation of Sinop banner in Kastamonu province salnames between hijri 1286 - hijri 1299 (Gregorian 1869 - Gregorian 1882)(2019)
- Examining pedagogical knowledge and skill levels of physical education teachers in terms of some variables(2022)
- Germans deported from Turkey and interned in Turkey during World War II(2023)