A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic.

Ki Yung Ahn Ross Horne Alwen Tiu

Published in: CoRR (2017)

Keyphrases

modal logic
classical logic
temporal logic
decision procedures
inference rules
default logic
linear logic
nonmonotonic logics
conditional logic
theorem prover
epistemic logic
situation calculus
artificial intelligence
modal operators
dynamic logic
fuzzy set theory
interval valued
natural deduction