Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 73
Number of items: 73
  • ten Cate, B. D., & Litak, T. M. (2007). Topological perspective on the hybrid proof rules. Electronic Notes in Theoretical Computer Science, 174, 79-94.
  • Afanasiev, L., ten Cate, B. D., & Marx, M. J. (2007). Lekker bomen. Nieuwsbrief van de NVTI, 11, 38-52.
  • ten Cate, B. D., & Marx, M. J. (2007). Axiomatizing the logical core of XPath 2.0. In Proceedings of ICDT 2007 (pp. 134-148)
  • ten Cate, B. D. (2006). The expressivity of XPath with transitive closure. In PODS'06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (pp. 328-337). ACM Press.
  • ten Cate, B. D. (2006). Expressivity of second-order propositional modal logic. Journal of Philosophical Logic, 35, 209-223. https://doi.org/10.1007/s10992-005-9012-9
  • ten Cate, B. D., Conradie, W., Marx, M. J., & Venema, Y. (2006). Definitorially Complete Description Logics. In P. Doherty, J. Mylopoulos, & C. Welty (Eds.), Proceedings of KR 2006 (pp. 79-89). AAAI Press.
  • Blackburn, P., & ten Cate, B. D. (2006). Pure extensions, proof rules, and hybrid axiomatics. Studia Logica, 84, 277-322.
  • Bezhanishvili, N., & ten Cate, B. D. (2006). Transfer results for hybrid logic Part I: the case without the satisfaction operators. Journal of Logic and Computation, 16, 177-197. https://doi.org/10.1093/logcom/exi056
  • van Benthem, J., Bezhanishvili, G., ten Cate, B., & Sarenac, D. (2006). Multimodal Logics of Products of Topologies. Studia Logica, 84(3), 369-392. https://doi.org/10.1007/s11225-006-9013-x
  • ten Cate, B. D., & Franceschet, M. (2005). On the Complexity of hybrid logics with binders. (Technical Reports; No. PP-2005-02). Institute for Logic, Language and Computation.
Page 5 of 8