Similar Items: Dynamic Cantor Derivative Logic
- Feedback computability on Cantor space
- The intuitionistic temporal logic of dynamical systems
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
- Propositional Dynamic Logic for Message-Passing Systems
- Automata Linear Dynamic Logic on Finite Traces
- The Relationship Between Separation Logic and Implicit Dynamic Frames