Dinamik topolojik lojiklerin ifade güçleri

Bu tezin amacı, dinamik topolojik lojiği, topolojik dinamik sistemlerin noktalarının yörüngeleri hakkında çıkarımlar yapabilmek için kullanmaktır. Tez, beş bölümden oluşmaktadır. Tez ile ilgili genel bilgilerin yer aldığı giriş bölümünden sonra, önbilgiler bölümünde çeşitli temel kavramlara yer verildi. üçüncü bölümde, yörünge kavramı tanıtıldı ve yörünge davranışları sınıflandırıldı. Dördüncü bölümde, temel dinamik dilin, yörüngelerin topolojik olarak ilginç özelliklerinin çoğunu ifade edebilmek için yeterli ifade gücüne sahip olmadığı gösterildi ve sonra amaçlanan ifade gücüne sahip olan zenginleştirilmiş dile ulaşmak için nominaller ve bazı operatörler eklenerek dil genişletildi. Beşinci bölümde, dinamik modalite için yeni bir yorum önerildikten sonra bu yorum altındaki temel dinamik dilin de yörüngelerin topolojik olarak ilginç özelliklerinin çoğunu ifade edebilmek için yeterli ifade gücüne sahip olmadığı gösterildi. Son olarak, bu dil melezleştirilerek ve genişletilerek elde edilen zenginleştirilmiş diller ile ilgili ulaşılan sonuçlar doğrultusunda, yeni yorumun eskisinden daha fazla ifade gücü sağladığına ve dolayısıyla, topolojik dinamik sistemler hakkında çıkarımlarda bulunmak için daha uygun olduğuna karar verildi.