Similar Items: Graded Monad Coalgebras for Continuous-Time Transition Systems
- Induction rules for Transition Algebra
- Continuations and Completeness in Proof-theoretic Semantics
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- Constant time testability of first-order logic with modulo counting on finitary graphs
- Non-negative Rational Semantic Numeration Systems
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems