The following pages link to Dynamic topological logic (Q705534):
Displaying 27 items.
- Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- Dynamic measure logic (Q714709) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- Cut elimination for S4C: A case study (Q817705) (← links)
- The modal logic of continuous functions on Cantor space (Q862352) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- Non-deterministic semantics for dynamic topological logic (Q1006607) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Dynamic topological S5 (Q1024554) (← links)
- Opaque updates (Q2037297) (← links)
- Propositional logic of continuous transformations in Cantor space (Q2388436) (← 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)
- COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS (Q3016218) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)
- Dynamic Cantor Derivative Logic (Q6137850) (← links)
