The following pages link to Temporal algebra (Q4236210):
Displaying 18 items.
- Pair algebras and Galois connections. (Q293350) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Modes of adjointness (Q484110) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Importing logics (Q694499) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Logics from Galois connections (Q2379337) (← links)
- Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Context Algebras, Context Frames, and Their Discrete Duality (Q5505447) (← links)
