The Bimodal Logic of Commuting Difference Operators Is Decidable.

Christopher Hampson

Published in: Advances in Modal Logic (2018)

Keyphrases

computation tree logic
multi valued
bounded model checking
linear time temporal logic
modal logic
epistemic logic
modal operators
model checking
automata theoretic
first order logic
morphological operators
automated reasoning
logic programming
logical framework
convex functions