Logical Foundations of Cyber-Physical Systems

ion 70 admissible see substitution, admissible advance notice 458 adversarial 8, 422 analytic cut see cut and-operator 52, 123, 443 Angel 426 antecedent 177 arity 533 assignment 76, 147 differential 307, 327 nondeterministic 390 automaton hybrid 85, 91 autonomous 38 axiom 142–162, 215–217, 301–308, 327–349, 378–380, 484–494, 527 assignment 147, 486, 536 composition 153, 490 determinacy 484 duality 157, 491 iteration 155, 216, 493 modus ponens modal 161 of choice 144 of game of choice 489 solution 149, 487 test 151, 488 vacuous 162, 231, 536 axiomatics 138 axiomatization 502, 551