C. Dixon (dixon-c)

Contributions to Philosophie.ch

Bibliography

Dixon, C., Fisher, Michael E. and Barringer, Howard. 1994. “A Graph-Based Approach to Resolution in Temporal Logic.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 415–429. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Nalon, C., Dixon, C. and Fisher, M. 2005. “Resolution for Synchrony and No Learning.” in Advances in Modal Logic, volume V, edited by Renate A. Schmidt, Ian Pratt-Hartmann, Mark A. Reynolds, and Heinrich Theodor Wansing, pp. 231–248. London: King’s College Publications.