Ian Hodkinson (hodkinson)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Andréka, Hajnal, Hodkinson, Ian, Németi, István and Sain, Ildikó. 1999. “Finite Algebras of Relations Are Representable on Finite Sets.” The Journal of Symbolic Logic 64: 243–267.
Gabbay, Dov M. and Hodkinson, Ian. 1996. “Temporal Logic in the Context of Databases.” in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by B. Jack Copeland, pp. 69–87. Oxford: Oxford University Press.
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.
Goldblatt, Robert L. and Hodkinson, Ian. 2009. “Commutativity of Quantifiers in Varying-Domain Kripke Models.” in Towards Mathematical Philosophy. Papers from the Studia Logica Conference Trends in Logic IV, edited by David C. Makinson, Jacek Malinowski, and Heinrich Theodor Wansing, pp. 9–30. Trends in Logic n. 28. Dordrecht: Springer, doi:10.1007/978-1-4020-9084-4.
Goldblatt, Robert L. and Hodkinson, Ian. 2016. “The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 342–361. London: King’s College Publications.
Goldblatt, Robert L., Hodkinson, Ian and Venema, Yde. 2003. “On Canonical Modal Logics that are not Elementarily Determined.” Logique et Analyse 46(181): 77–101.
Governatori, Guido, Hodkinson, Ian and Venema, Yde, eds. 2006. Advances in Modal Logic. vol. VI. London: King’s College Publications.
Hirsch, Robin and Hodkinson, Ian. 2000. “Relation Algebras with n-dimensional Relational Bases.” Annals of Pure and Applied Logic 101: 227–274.
Hirsch, Robin and Hodkinson, Ian. 2001. “Relation Algebras from Cylindric Algebras, I & II.” Annals of Pure and Applied Logic 112: 225–297.
Hirsch, Robin and Hodkinson, Ian. 2002. Relation Algebras by Games. Studies in Logic and the Foundations of Mathematics n. 147. Amsterdam: North-Holland Publishing Co.
Hirsch, Robin, Hodkinson, Ian and Maddux, Roger D. 2002a. “Provability with Finitely Many Variables.” The Bulletin of Symbolic Logic 8(3): 348–348.
Hirsch, Robin, Hodkinson, Ian and Maddux, Roger D. 2002b. “Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory.” The Journal of Symbolic Logic 67: 197–213.
Hodkinson, Ian. 1994. “Finite H-dimension Does Not Imply Expressive Completeness.” The Journal of Philosophical Logic 23(5): 535–572.
Hodkinson, Ian. 1997. “Atom Structures of Cylindric Algebras and Relation Algebras.” Annals of Pure and Applied Logic 89: 117–148.
Hodkinson, Ian. 2010. “The Bounded Fragment and Hybrid Logic with Polyadic Modalities.” The Review of Symbolic Logic 3(2): 279–286.