Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior /

• Main Authors: Schultz, Patrick (Author, http://id.loc.gov/vocabulary/relators/aut), Spivak, David I. (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2019.
• Edition: 1st ed. 2019.
• Series: Progress in Computer Science and Applied Logic, 29
• Subjects: Category theory (Mathematics).; Homological algebra.; Mathematical logic.; System theory.; Aerospace engineering.; Astronautics.; Category Theory, Homological Algebra.; Mathematical Logic and Foundations.; Systems Theory, Control.; Mathematical Logic and Formal Languages.; Aerospace Technology and Astronautics.

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a categ...

Table of Contents:

• Introduction
• The Interval Domain
• Translation Invariance
• Logical Preliminaries
• Axiomatics
• Semantics and Soundness
• Local Numeric Types and Derivatives
• Applications
• Appendices
• Bibliography
• Index.