Books

1995: 

Fisher, M., and Owens, R., (eds) Executable Modal and Temporal Logics. Volume 897 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1995. (ISBN: 3-540-58976-7)

1996: 

Barringer, H., Fisher, M., Gabbay, D., Owens, R., and Reynolds, M., (eds) The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press, May 1996. (ISBN: 0-86380-190-0)

1999: 

Dixon, C. and Fisher, M. (eds) Sixth International Symposium on Temporal Representation and Reasoning - TIME-99. Orlando, Florida. IEEE Computer Society Press, May 1999. (ISBN 0-7695-0173-7)

2000: 

Barringer, H., Fisher, M., Gabbay, D., and Gough, G., (eds) Advances in Temporal Logic.. Volume 16 of Applied logic series, Kluwer Academic Publishers, Dordrecht, January 2000. (ISBN 0-7923-6149-0)

2002: 

d'Inverno, M., Luck, M., Fisher, M., and Preist, C. (eds) Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers. Lecture Notes in Computer Science 2403, Springer-Verlag, 2002. ISBN 3-540-43962-5

2002: 

Artale, A., and Fisher, M. (eds) Ninth International Symposium on Temporal Representation and Reasoning - TIME-02. IEEE Computer Society Press, 2002.

2005: 

Fisher, M., Gabbay, D., and Vila, L. (eds) Handbook of Temporal Reasoning in Artificial Intelligence

2006: 

Fisher, M., van der Hoek, W., Konev, B., and Lisitsa, A. (eds) Logics in Artificial Intelligence, Lecture Notes in Computer Science 4160, Springer-Verlag, 2006. ISBN 0302-9743.

2009: 

Fisher, M., Sadri, F., and Thielscher, M. (eds) Computational Logic in Multi-Agent Systems, Lecture Notes in Computer Science 5405, Springer-Verlag, 2009. ISBN 978-3-642-02733-8.

2010: 

Bujorianu, M. and Fisher, M. (eds) Proc. FM-09 Workshop on Formal Methods for Aerospace (FMA), Electronic Proceedings in Theoretical Computer Science 20, March 2010.

Dix, J., Fisher, M., and Novak, P. (eds) Computational Logic in Multi-Agent Systems, Lecture Notes in Computer Science 6214, Springer-Verlag, 2010. ISBN 978-3-642-16866-6.

2011: 

Fisher, M. An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, April 2011.

2012: 

Fisher, M., van der Torre, L., Dastani, M., and Governatori, G. (eds) Computational Logic in Multi-Agent Systems, Lecture Notes in Computer Science 7486, Springer-Verlag, 2012. ISBN 978-3-642-32896-1.