Michael E. Fisher (fisher-me)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Barringer, Howard, Fisher, Michael E., Gabbay, Dov M. and Hunter, Anthony. 1991. “Meta-Reasoning in Executable Temporal Logic.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 40–49. San Francisco, California: Morgan Kaufmann Publishers.
Barringer, Howard, Fisher, Michael E., Gabbay, Dov M., Owens, R. and Reynolds, Mark A. 1996. The Imperative Future: Principles of Executable Temporal Logic. Hoboken, New Jersey: John Wiley; Sons, Inc.
Degtyarev, Anatoli, Fisher, Michael E. and Lisitsa, Alexei. 2003. “Equality and Monadic First-Order Temporal Logic.” Studia Logica: An International Journal for Symbolic Logic 72(2): 147–156.
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.
Fisher, Michael E. 1999. “Renormalization Group Theory: Its Basis and Formulation in Statistical Physics.” in Conceptual Foundations of Quantum Field Theory, edited by Tian Yu Cao, pp. 89–135. Cambridge: Cambridge University Press.