Pages that link to "Item:Q865049"
From MaRDI portal
The following pages link to On dynamic topological and metric logics (Q865049):
Displaying 15 items.
- Dynamic topological logic (Q705534) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- Non-deterministic semantics for dynamic topological logic (Q1006607) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
- (Q3509059) (← links)
- (Q3509066) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)