Tableaux for Synchronous Systems of Knowledge and Time with Interactions

Clare Dixon, Michael Fisher. Tableaux for Synchronous Systems of Knowledge and Time with Interactions. In SCAI. pages 28-39, 1997.

Abstract

Abstract is missing.