Cláudia Nalon, Clare Dixon, Michael Fisher. Resolution for Synchrony and No Learning. In Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing, editors, Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004. pages 231-248, King s College Publications, 2004. [doi]
Abstract is missing.