Yde Venema (venema-y)

Beiträge zu Philosophie.ch

Bibliography

van Benthem, Johan, Dekker, Paul J. E., van Eijck, Jan, de Rijke, Maarten and Venema, Yde. 2001. Logic in Action. Faculty of Mathematics; Computer Science, Roeterssraat 15, 1018TV Amsterdam, Holland: Institute for Logic, Language,; Computation, University of Amsterdam.
Bı́lková, Marta, Palmigiano, Alessandra and Venema, Yde. 2008. “Proof Systems for the Coalgebraic Cover Modality.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 1–21. London: College Publications.
Blackburn, Patrick, de Rijke, Maarten and Venema, Yde. 2001. Modal Logic. Cambridge: Cambridge University Press.
Blackburn, Patrick and Venema, Yde. 1995. “Dynamic Squares.” The Journal of Philosophical Logic 24(5): 469–523.
Carreiro, Facundo and Venema, Yde. 2014. “PDL Inside the \(\mu\)-calculus: A Syntactic and an Automata-theoretic Characterization.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 74–93. London: King’s College Publications.
Dekker, Paul J. E., Stokhof, Martin B. J. and Venema, Yde, eds. 1997. ILLC. Proceedings of the Eleventh Amsterdam Colloquium. University of Amsterdam, Holland, Institute for Logic, Language; Computation: ILLC Publications.
Engelfriet, Joeri and Venema, Yde. 1997. “A Modal Logic of Information Change.” IR-438. Amsterdam: Institute for Language, Logic; Information, University of Amsterdam. Published as Engelfriet and Venema (1998).
Engelfriet, Joeri and Venema, Yde. 1998. “A Modal Logic of Information Change.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 125–131. San Francisco, California: Morgan Kaufmann Publishers.
Gerbrandy, Jelle, Marx, Maarten, de Rijke, Maarten and Venema, Yde, eds. 1991. JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam: Vossiuspers AUP.
Goguadze, George, Piazza, Carla and Venema, Yde. 2003. “Simulating Polyadic Modal Logics by Monadic Ones.” The Journal of Symbolic Logic 68(2): 419–419.
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.
Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde and Weinstein, Scott. 2007. Finite Model Theory and Its Applications. Cham: Springer.
Kupke, Clemens, Kurz, Alexander and Venema, Yde. 2008. “Completeness of the finitary Moss logic.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 193–217. London: College Publications.
Kurz, Alexander and Venema, Yde. 2010. “Coalgebraic Lindström Theorems.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 292–309. London: King’s College Publications.
Marx, Maarten and Venema, Yde. 1997. Multi-Dimensional Modal Logic. Dordrecht: Kluwer Academic Publishers.
de Rijke, Maarten and Venema, Yde. 1995. “Sahlqvist’s Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.” Studia Logica: An International Journal for Symbolic Logic 54(1): 61–78.
Santocanale, Luigi and Venema, Yde. 2010. “Uniform Interpolation for Monotone Modal Logic.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 350–370. London: King’s College Publications.
Venema, Yde. 1988. “Expressiveness and Completeness of an Interval Tense Logic.” Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.
Venema, Yde. 1989. “Two-Dimensional Modal Logics.” LP-89-05. Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.
Venema, Yde. 1992. “A Note on the Tense Logic of Dominoes.” The Journal of Philosophical Logic 21(2): 173–182.
Venema, Yde. 1993. “Completeness via Completeness: Since and Until.” in Diamonds and Defaults, edited by Maarten de Rijke, pp. 349–358. Synthese Library n. 229. Dordrecht: Kluwer Academic Publishers.
Venema, Yde. 1994a. “Tree Models and (Labled) Categorial Grammar.” Journal of Logic, Language, and Information 3(3–4): 253–277.
Venema, Yde. 1994b. “Completeness through Flatness in Two-Dimensional Temporal Logic.” 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. 149–164. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Venema, Yde. 1995a. “Meeting Strength in Substructural Logics.” Studia Logica: An International Journal for Symbolic Logic 54(1): 3–32.
Venema, Yde. 1995b. “Meeting a Modality? Restricted Permutation for the Lambek Calculus.” in Applied Logic: How, What, and Why? Logical Approaches to Natural Language, edited by László Pólos and Michael Masuch, pp. 343–361. Synthese Library n. 247. Dordrecht: Kluwer Academic Publishers.
Venema, Yde. 1996. “A Crash Course in Arrow Logic.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 3–34. Stanford, California: CSLI Publications.
Venema, Yde. 1997. “Editorial: Modal Logic and Dynamic Semantics.” Journal of Logic, Language, and Information 6(4): 357–360.
Venema, Yde. 1998. “Atom Structures.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 291–305. Stanford, California: CSLI Publications.
Venema, Yde. 2000a. “Review of Chagrov and Zakharyaschev (1997).” The Philosophical Review 109(2): 286–289.
Venema, Yde. 2000b. “Canonical Pseudo-Correspondence.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 439–448. Stanford, California: CSLI Publications.
Venema, Yde. 2001a. “Temporal Logic.” in The Blackwell Guide to Philosophical Logic, edited by Lou F. Goble, pp. 203–223. Blackwell Philosophy Guides. Oxford: Blackwell Publishers, doi:10.1002/9781405164801.
Venema, Yde. 2001b. “Dynamic Models in Their Logical Surroundings.” in Logic in Action, pp. 115–153. Faculty of Mathematics; Computer Science, Roeterssraat 15, 1018TV Amsterdam, Holland: Institute for Logic, Language,; Computation, University of Amsterdam.
Venema, Yde. 2003. “Representation of Game Algebras.” Studia Logica: An International Journal for Symbolic Logic 75(2): 239–256.

Further References

Chagrov, Alexander V. and Zakharyaschev, Michael. 1997. Modal Logic. Oxford Logic Guides n. 35. Oxford: Oxford University Press.