Login / Signup
Bisimulation and p-morphism for branching-time logics with indistinguishability relations
Alberto Gatto
Published in:
CoRR (2013)
Keyphrases
</>
equivalence relation
epistemic logic
modal logic
temporal logic
rough set theory
rough sets
expressive power
model checking
semantic relations
temporal relations
inference rules
temporal reasoning
data sets
desirable properties
binary relations
conditional logic
multi agent systems