Search results

    Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 73
Number of items: 73
  • Bezhanishvili, N., ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, & I. Pratt-Hartman (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp. 44-61).
  • ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory for hybrid logic. In A. Troelstra (Ed.), Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh (pp. 1-6)
  • ten Cate, B. D. (2003). Proceedings of the 8th ESSLLI Student Session. http://staff.science.uva.nl/~bcate/esslli03/.
  • Shan, C., & ten Cate, B. D. (2002). The Partition Semantics of Questions, Syntactically. In M. Nissim (Ed.), Proceedings of the ESSLLI-2002 student session (pp. 255-269). Kluwer Academic.
  • ten Cate, B. D. (2002). On the logic of d-separation. In D. McGuiness, D. Fensel, & M. Williams (Eds.), Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002) (pp. 568-577). Morgan Kaufmann.
  • ten Cate, B. D., & Shan, C. (2002). Question answering: From partitions to prolog. In U. Egli, & C. Fermuller (Eds.), Proceedings of TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods (Vol. 2381, pp. 251-265). Springer Verlag.
  • Blackburn, P., & ten Cate, B. D. (2002). Beyond pure axioms: Node creating rules in hybrid tableaux. In M. Marx, C. Areces, P. Blackburn, & U. Sattler (Eds.), Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002) (pp. 1-15)
  • ten Cate, B. D. (2002). Internalizing epistemic actions. In M. Martinez (Ed.), Proceedings of the NASSLLI-2002 student session (pp. 109-123)
  • ten Cate, B. D., van Eijck, J., & Heguiabehere, J. M. (2001). Expressivity of extensions of dynamic predicate logic. In R. van Rooy, & M. Stokhof (Eds.), Proceedings of the Thirteenth Amsterdam Colloquium (pp. 55-60). ILLC/Department of Philosophy.
  • ten Cate, B. D. (2001). Information exchange as reduction. In K. Striegnitz (Ed.), Proceedings ESSLLI 2001 Student Session
Page 7 of 8