Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra

DOI10.1007/978-3-662-44124-4_12zbMath1445.03018arXiv1212.1734OpenAlexW1486290332MaRDI QIDQ2942784

Baltasar Trancon Y. Widemann

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.1734

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Symbolic dynamics (37B10) Temporal logic (03B44)

This page was built for publication: Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra