Mark A. Reynolds (reynolds-ma)

Contributions to Philosophie.ch

Bibliography

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.
Finger, Marcelo, Gabbay, Dov M. and Reynolds, Mark A. 2002. “Advanced Tense Logic.” in Handbook of Philosophical Logic, Volume VII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 43–204. Dordrecht: Springer.
Finger, Marcelo and Reynolds, Mark A. 1999. “Imperative History: Two-dimensional Executable Temporal Logic.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 73–98. Dordrecht: Kluwer Academic Publishers.
French, Tim, McCabe-Dansted, John and Reynolds, Mark A. 2012. “Synthesis for Temporal Logic over the Reals.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 217–238. London: King’s College Publications.
French, Tim, Meyden, Ron van der and Reynolds, Mark A. 2005. “Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.” in Advances in Modal Logic, volume V, edited by Renate A. Schmidt, Ian Pratt-Hartmann, Mark A. Reynolds, and Heinrich Theodor Wansing, pp. 53–72. London: King’s College Publications.
French, Tim and Reynolds, Mark A. 2003. “A Sound and Complete Proof System for QPTL.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 127–148. London: King’s College Publications.
Gabbay, Dov M., Hodkinson, Ian and Reynolds, Mark A. 1994. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1. Oxford Logic Guides n. 28. Oxford: Oxford University Press.
Gabbay, Dov M. and Reynolds, Mark A. 1995. “Towards a Computational Treatment of Time.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Logics, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 351–438. Oxford: Oxford University Press.
Gabbay, Dov M., Reynolds, Mark A. and Finger, Marcelo. 2000. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. Oxford Logic Guides n. 40. Oxford: Oxford University Press.
Reynolds, Mark A. 1994a. “Axiomatization of F and P in Cyclical Time.” The Journal of Philosophical Logic 23(2): 197–224.
Reynolds, Mark A. 1994b. “Axiomatizing \(U\) and \(S\) over Integer Time.” 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. 117–132. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Reynolds, Mark A. 2001. “An Axiomatization of Full Computation Tree Logic.” The Journal of Symbolic Logic 66(3): 1011–1057.
Reynolds, Mark A. 2002. “Review of Apt et al. (1999).” Studia Logica: An International Journal for Symbolic Logic 71(1): 145–148.
Reynolds, Mark A. 2003. “An Axiomatization of Prior’s Ockhamist Logic of Historical Necessity.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 355–370. London: King’s College Publications.
Reynolds, Mark A. 2014. “A Tableau for Temporal Logic over the Reals.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 439–458. London: King’s College Publications.
Schmidt, Renate A., Pratt-Hartmann, Ian, Reynolds, Mark A. and Wansing, Heinrich Theodor, eds. 2005. Advances in Modal Logic. vol. V. London: King’s College Publications.

Further References

Apt, Krzysztof R., Marek, Wictor W., Truszczyński, Marek and Warren, David S., eds. 1999. The Logic Programming Paradigm: A Twenty-Five Year Perspective. Berlin: Springer.