On dynamic topological systems
2010
0 views
0 downloads
Advisor: Yrd. Doç. Dr. Cihangir Alaca
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
Dr. 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
- Use of mealworms (Tenebrio molitor) larvae meal in Nile tilapia (Oreochromis niloticus) diets(2025)
- General information about sea anemones and cultivation of Actinia equina(2016)
- Generali̇zed semi̇perfect ri̇ngs(2016)
- An investigation of isolation of Scenedesmus spp. from freshwater of Sinop and its culture in laboratory conditions(2016)
- Criminal incidents and other significant events that occur between the years 1932-1990 in Sinop(2016)
- Investigation of nutrient and anionic detergent pollution in Karasu and Sirakaraağaçlar stream(2016)