Similar Items: On the system CL12 of computability logic
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Computation Tree Logic with Deadlock Detection
- From formulas to cirquents in computability logic
- Qualitative Logics and Equivalences for Probabilistic Systems
- The intuitionistic temporal logic of dynamical systems
- Modal Logics for Nominal Transition Systems