Browsing 2019 Dissertations (MU) by Title "Dynamic agent safety logic : theory and applications"
Now showing items 11 of 1

Dynamic agent safety logic : theory and applications
(University of MissouriColumbia, 2019)Modal logic is a family of logics for reasoning about relational structures, broadly construed. It sits at the nexus of philosophy, mathematics, software engineering, and economics. By modeling a target domain as a relational ...