M. Fisher (fisher-m)

Contributions to Philosophie.ch

Bibliography

Fisher, M. 1994. “A Survey of Concurrent MetateM – The Language and its Applications.” 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. 480–505. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Kellett, A. and Fisher, M. 2002. “Coordinating Heterogeneous Components Using Executable Temporal Logic.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 99–112. Dordrecht: Kluwer Academic Publishers.
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.