Maarten Marx (marx-m)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Areces, Carlos, Blackburn, Patrick and Marx, Maarten. 2001. “Hybrid Logics: Characterization, Interpolation, and Complexity.” The Journal of Symbolic Logic 66(3): 977–1010.
Blackburn, Patrick and Marx, Maarten. 2002. “Remarks on Gregory’s ‘Actually’ Operator.” The Journal of Philosophical Logic 31(3): 281–288.
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.
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.
Marx, Maarten. 1996a. “Multi Dimensional Semantics for Modal Logics.” Notre Dame Journal of Formal Logic 37(1): 25–34.
Marx, Maarten. 1996b. “Dynamic Arrow Logic.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 109–123. Stanford, California: CSLI Publications.
Marx, Maarten. 1998. “Amalgamation in Relation Algebras.” The Journal of Symbolic Logic 63: 479–484.
Marx, Maarten. 1999a. “Review of Burger, Palmer and Hirschman (1998).” Journal of Logic, Language, and Information 8(4): 478–481.
Marx, Maarten. 1999b. “Complexity of Products of Modal Logics.” Journal of Logic and Computation 9: 221–238.
Marx, Maarten. 1999c. “Review of Socher-Ambrosius and Johann (1997).” Journal of Logic, Language, and Information 8(4): 476–478.
Marx, Maarten. 2001. “Tolerance Logic.” Journal of Logic, Language, and Information 10(3): 353–373.
Marx, Maarten and Mikulás, Szabolcs. 2003. “An Elementary Construction for a Non-Elementary Procedure.” Studia Logica: An International Journal for Symbolic Logic 72(2): 253–263.
Marx, Maarten, Mikulás, Szabolcs, Németi, István and Sain, Ildikó. 1996. “Causes and Remedies for Undecidability in Arrow Logics and Multi-Modal Logics.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 35–61. Stanford, California: CSLI Publications.
Marx, Maarten, Milulás, Szabolcs and Németi, István. 1993. “Taming Logic.” Journal of Logic, Language, and Information 2(3): 207–226.
Marx, Maarten, Pólos, László and Masuch, Michael, eds. 1996. Arrow Logic and Multimodal Logic. Stanford, California: CSLI Publications.
Further References
Burger, John D., Palmer, David D. and Hirschman, Lynette. 1998. “Named Entity Scoring for Speech Input.” in ACL-98. Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and Seventeenth International Conference on Computational Linguistics, edited by Christian Boitet and Pete J. Whitelock, pp. 201–205. San Francisco, California: Morgan Kaufmann Publishers.