The marriage of bisimulations and Kripke logical relations.

Chung-Kil Hur Derek Dreyer Georg Neis Viktor Vafeiadis

Published in: POPL (2012)

Keyphrases

logical structure
inference rules
modal logic
truth values
semantic relations
data sets
information retrieval
artificial intelligence
multiscale
xml documents
causal relations