Report - Modal Logics of Sabotage Revisited · sabotage modal logic as a fragment of rst-order logic which is invariant with respect to a natural notion of ‘sabotage bisimulation’. Our

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form