Report - Algebraic Semantics of Refinement Modal Logic...Bakhtiari, van Ditmarsch and Frittella 39 refinement relation is like a bisimulation relation, except that from the three relational

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form