Marcelo Finger (finger-m)

Contributions to Philosophie.ch

Bibliography

Fajardo, R A. S. and Finger, Marcelo. 2003. “Non-Normal Modalisation.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 83–96. London: King’s College Publications.
Finger, Marcelo. 1997. “Review of Barringer et al. (1996).” Journal of Logic, Language, and Information 6(1): 105–106.
Finger, Marcelo. 2002. “Algorithmic Correspondence Theory for Substructural Categorial Logic.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 153–172. Singapore: World Scientific Publishing Co.
Finger, Marcelo and Gabbay, Dov M. 1992. “Adding a Temporal Dimension to a Logic System.” Journal of Logic, Language, and Information 1(3): 203–233.
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.
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.

Further References

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.