DMCA

Compositional Reasoning for Epistemic Logics∗ (2012)

by Luca Aceto , Cristian Prisacariu , Luca Aceto , Cristian Prisacariu , Joshua Sack