In progress

Carlos Areces and Balder ten Cate. Hybrid Logic. To appear in P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic.

Balder ten Cate. Expressivity of XPath with transitive closure. Under submission.
PDF of a recent draft

Tadeusz Litak and Balder ten Cate. The importance of being discrete. Under submission.
PDF of a recent draft

Balder ten Cate, Willem Conradie and Maarten Marx. Definitorially complete description logics. To appear in Proceedings of KR 2006.
PDF of a recent draft

To appear

Johan van Benthem, Guram Bezhanishvili, Balder ten Cate and Darko Sarenac. Multimodal Logics for Products of Topologies. To appear in Studia Logica.
PDF of a recent draft

Nick Bezhanishvili and Balder ten Cate. Transfer results for hybrid logic. Part 1: the case without satisfaction operators. To appear in Journal of Logic and Computation.
PDF of a recent draft

Balder ten Cate and Chung-chieh Shan. Axiomatizing Groenendijk's Logic of Interrogation. To appear in a volume on questions and related topics, edited by Paul Dekker.
PDF of a recent draft

Balder ten Cate. Expressivity of second-order propositional modal logic. To appear in Journal of Philosophical Logic.
PDF of a recent draft

2005

Balder ten Cate and Massimo Franceschet (2005). Guarded fragments with constants. Journal of Logic, Language and Information 14(3): 281-288.
PDF of a preliminary version BibTeX

Balder ten Cate, Maarten Marx and Petrucio Viana (2005). Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300.
PDF of a preliminary version BibTeX

Balder ten Cate and Massimo Franceschet (2005). On the complexity of hybrid logics with binders. In L. Ong, editor, Proceedings of Computer Science Logic 2005. Lecture Notes in Computer Science 3634, Springer Verlag.
PDF of a preliminary version BibTeX

Balder ten Cate (2005). Model theory for extended modal languages. PhD thesis, University of Amsterdam. ILLC Dissertation Series DS-2005-01.
PDF BibTeX Corrections

Balder ten Cate (2005). Interpolation for extended modal languages. Journal of Symbolic Logic 70 (1) : 223-234.
PDF of a preliminary version BibTeX

Balder ten Cate and Massimo Franceschet (2005). On the complexity of hybrid logics with binders. Technical Report PP-2005-02, ILLC, University of Amsterdam.
PDF BibTeX Full version of the CSL paper (see above)

2004

Balder ten Cate and Massimo Franceschet (2004). Guarded fragments with constants. Technical Report PP-2004-32, ILLC, University of Amsterdam.
PDF BibTeX Superseded by the JoLLI paper (see above)

Balder ten Cate, Maarten Marx and Petrucio Viana (2004). Sahlqvist theory for hybrid logic. In A. Troelstra, editor, Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh.
PDF BibTeX Superseded by the IGPL paper (see above)

Balder ten Cate (2004). The first order formulas preserved under ultrafilter extensions are not recursively enumerable. Technical report PP-2004-27, ILLC, University of Amsterdam.
PDF BibTeX Superseded by my PhD thesis (see above)

Nick Bezhanishvili, Balder ten Cate, Maarten Marx and Petrucio Viana (2004). Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing, editors, Preliminary proceedings of Advances in Modal Logic 2004.
PDF BibTeX Superseded by the IGPL and JLC papers (see above)

Patrick Blackburn and Balder ten Cate (2004). Pure Extensions, Proof Rules, and Hybrid Axiomatics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing, editors, Preliminary proceedings of Advances in Modal Logic 2004.
PDF BibTeX

Johan van Benthem, Guram Bezhanishvili, Balder ten Cate and Darko Sarenac (2004). Modal Logics for Products of Topologies. Technical report PP-2004-15, ILLC, University of Amsterdam.
PDF BibTeX Superseded by the Studia Logica paper (see above)

Nick Bezhanishvili and Balder ten Cate (2004). Transfer results for hybrid logic - Part I: the case without satisfaction operators. Technical report PP-2004-06, ILLC, University of Amsterdam.
PDF BibTeX Superseded by the JLC paper (see above)

2003

Balder ten Cate (2003), editor. Proceedings of the ESSLLI-2003 student session. 15th European Summer School in Logic, Language and Information, Vienna.
PDF BibTeX

2002

Chung-chieh Shan and Balder ten Cate (2002). The Partition Semantics of Questions, Syntactically. In M. Nissim, editor, Proceedings of the ESSLLI-2002 student session. 14th European Summer School in Logic, Language and Information, Trento. Winner of the Kluwer Academic Best Student Session Paper Award.
PDF BibTeX

Balder ten Cate and Chung-chieh Shan (2002). Question answering: from partitions to prolog. In U. Egly and C. Fermüller, editors, Proceedings of TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence 2381, Springer Verlag. Also in S. Wintner, editor, Proceedings of the 7th International Workshop on Natural Language Understanding and Logic Programming (NLULP 2002).
PDF BibTeX

Patrick Blackburn and Balder ten Cate (2002). Beyond Pure Axioms: Node Creating Rules in Hybrid Tableaux. In C. Areces, P. Blackburn, M. Marx and U. Sattler, editors, Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002).
PDF BibTeX

Balder ten Cate (2002). Internalizing Epistemic Actions. In M. Martinez, editor, Proceedings of the NASSLLI-2002 student session. 1st North American Summer School in Logic, Language and Information, Stanford.
PDF BibTeX

Balder ten Cate (2002). On the logic of d-separation. In D. Fensel, F. Giunchiglia, D. McGuinness and M. A. Williams, editors, Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002). San Francisco: Morgan Kaufmann.
PDF BibTeX Corrections

2001

Balder ten Cate, Jan van Eijck and Juan Heguiabehere (2001). Expressivity of extensions of dynamic predicate logic. In R. van Rooy and M. Stokhof, editors, Proceedings of the 13th Amsterdam Colloquium (AC 2001).
PDF BibTeX

Balder ten Cate and Marie Nilsenová (2001). Interpreting uncertain or inconsistent information using belief networks. In D. O'Donoghue, editor, Proceedings of the 12th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2001).

Balder ten Cate and Marie Nilsenová (2001). Representing Model Conversation Failures with Belief Networks. In B. Kröse, M. de Rijke, G. Schreiber and M. van Someren, editors, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001).

Balder ten Cate (2001). Information exchange as reduction. In Kristina Striegnitz, editor, Proceedings of the ESSLLI-2001 student session. 13th European Summer School in Logic, Language and Information, Helsinki.

2000

Balder ten Cate (2000). Dynamic and epistemic semantics of questions: the logic of consultation. Masters thesis, Vrije Universiteit Amsterdam.
PDF

1998

Marco Teunisse, Olle ten Cate and Balder ten Cate (1998). Automatisering evaluatie co-assistentschappen. In A.M.J.J. Verweij et al, editors, Proceedings Gezond Onderwijs Congres 1997. Houten: Bohn Stafleu van Loghum.

[All BibTeX entries]