Structural and behavioral modeling with monadic logics
Abdelwaheb Ayari, David Basin, Stefan R. Friedrich · 2003
Logic offers the possibility of modeling and reasoning about hardware and software. But which logic? We propose monadic logics of strings and trees as good candidates for many kinds of discrete systems. These logics are natural, decidable, yet substantially more expressive, extensions of Boolean logic. We motivate their applicability through examples.