Journals

I am a member of the editorial boards of the Annals of Mathematics and Artificial Intelligence and Journal of Applied Logic journals, am a corner editor for Journal of Logic and Computation and have edited the following special issues of journals.

Fisher, M., Kono, S., and Orgun, M., (eds). Journal of Symbolic Computation 22(5-6), November/December 1996, Elsevier. Special Issue on Executable Temporal Logics.
Dixon, C., Fisher, M., Finger, M., and Reynolds, M., (eds). Annals of Mathematics and Artificial Intelligence 30(1-4), March 2000, Springer. Special Issue on Temporal Representation and Reasoning.
Artale, A., Dixon, C., Fisher, M., and Franconi, E. (eds). Journal of Logic and Computation 14(1), February 2004, Oxford University Press. Special Issue on Temporal Representation and Reasoning
Dix, J., Fisher, M., Levesque, H., and Sterling, L. (eds). Annals of Mathematics and Artificial Intelligence 41(2-4), August 2004, Springer. Special Issue on Logic-Based Agent Implementation.
Bouzid, M., Combi, C., Fisher, M., and Ligozat, G. (eds). Annals of Mathematics and Artificial Intelligence 46(3), March 2006, Springer. Special Issue on Temporal Representation and Reasoning.
Fisher, M., Singh, M., Spears, D., and Wooldridge, M. (eds). Journal of Applied Logic 5(2):193-195, June 2007, Elsevier. Special Issue on Logic-Based Agent Verification.
Fisher, M., and van der Hoek, W. (eds). Annals of Mathematics and Artificial Intelligence 50(3-4), August 2007. Logics in AI: post-proceedings of JELIA'06.
Bujorianu, M., Fisher, M., and Pasareanu, C. (eds). Annals of Mathematics and Artificial Intelligence 63(1-3), 2011, Springer. Special Issue on Formal Methods in Aerospace.
Fisher, M., van der Torre, L., Dastani, M., and Governatori, G. (eds). Journal of Logic and Computation, 2014, Springer. Special Issue on Computational Logic in Multi-Agent Systems.