Ionuţ Ţuţu

Horn Clauses in Hybrid-Dynamic First-Order Logic

2019 · arXiv (Cornell University)

We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, the formalism we develop extends (many-sorted) first-order logic with features that are common to …