Bisimulation for Weakly Expressive Coalgebraic Modal Logics.

Zeinab Bakhtiari Helle Hvid Hansen

Published in: CALCO (2017)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
dynamic logic
situation calculus
helmholtz principle
equivalence relation