Pages that link to "Item:Q5100046"
From MaRDI portal
The following pages link to COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046):
Displaying 7 items.
- Tangled modal logic for topological dynamics (Q764267) (← links)
- Dynamic contact algebras and quantifier-free logics for space and time (Q1615744) (← links)
- Temporal type theory. A topos-theoretic approach to systems and behavior (Q1791242) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- A strongly complete axiomatization of intuitionistic temporal logic (Q5163983) (← links)
- Ill-founded proof systems for intuitionistic linear-time temporal logic (Q6541154) (← links)