Searching for "Dynamic Topological Logic." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Dynamic Topological Logics Over Spaces with Continuous Functions
- …Dynamic topological logics over spaces with continuous functions B. Konev, R. Kontchakov, F…
- Cited by 2 (0 self) – Add To MetaCart
-
On Dynamic Topological and Metric Logics
- … On dynamic topological and metric logics B. Konev 1 , R. Kontchakov 2 , F. Wolter 1 , and M…
- Cited by 3 (2 self) – Add To MetaCart
-
Propositional Logic of Continuous Transformations in Cantor Space
- … X is the topological space and T is a continuoustransformation on X. Dynamical topological logic [4…
- Add To MetaCart
-
ASL Winter Meeting 2 Completeness results
- … • The completeness of Dynamic Topological Logic (DTL). – DTL is a S4-based trimodal logic (✷, ○, ∗) for dynamical…
- Add To MetaCart
-
Propositional logic of continuous transformations in Cantor Space, to appear
- … is the topological space and T is a continuous transformation on X. Dynamical topological logic [4, 5] studies…
- Cited by 1 (0 self) – Add To MetaCart
-
Products Of `transitive' Modal Logics Without The (abstract) Finite Model Property
- … to dynamic topological logics interpreted in topological spaces with continuous functions; see, e.g., [1, 10…
- Add To MetaCart
Showing 1 through 6.
