Pages that link to "Item:Q763328"
From MaRDI portal
The following pages link to On the modal definability of simulability by finite transitive models (Q763328):
Displaying 8 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Tangled modal logic for topological dynamics (Q764267) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
- On the Definability of Simulability and Bisimilarity by Finite Epistemic Models (Q3092294) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)
