A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.

Vedran Cacic Domagoj Vrgoc

Published in: Stud Logica (2013)

Keyphrases

modal logic
nonmonotonic logics
logic programming
automated reasoning
predicate logic
multi valued
classical logic
real time
probability theory
digital circuits
deontic logic
proof theory