Behavioral Mereology: A Modal Logic for Passing Constraints.

Brendan Fong David Jaz Myers David I. Spivak

Published in: ACT (2020)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
default logic
constraint satisfaction
situation calculus
nonmonotonic logics
classical logic
conditional logic
epistemic logic
global constraints
prime implicates
model checking
explanation based generalization