The following pages link to Computer Science Logic (Q5311264):
Displayed 9 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- LTL is closed under topological closure (Q2448112) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (Q3602799) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)