Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 73
Number of items: 73
  • ten Cate, B. D. (2005). Interpolation for extended modal languages. Journal of Symbolic Logic, 70(1), 223-234. https://doi.org/10.2178/jsl/1107298517
  • ten Cate, B., Marx, M., & Viana, P. (2005). Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL, 13(3), 293-300. https://doi.org/10.1093/jigpal/jzi024
  • Franceschet, M., & ten Cate, B. D. (2005). On the complexity of hybrid logics with binders. In Proceedings of the Annual Conference of the European Association for Computer Science Logic (pp. 339-354)
  • ten Cate, B. D. (2005). Model theory for extended modal languages. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • ten Cate, B. D., & Franceschet, M. (2005). Guarded fragments with constants. Journal of Logic, Language and Information, 14(3), 281-288.
  • Franceschet, M., & ten Cate, B. D. (2004). Guarded fragments with constants. (Technical Reports; No. PP-2004-32). Institute for Logic, Language and Computation.
  • van Benthem, J. F. A. K., Bezhanishvili, G., ten Cate, B. D., & Sarenac, D. (2004). Modal Logics for Products of Topologies. (Technical Reports; No. PP-2004-15). Institute for Logic, Language and Computation.
  • Bezhanishvili, N., & ten Cate, B. D. (2004). Transfer results for hybrid logic - part i: the case without satisfaction operators. (Internal Reports; No. PP-2004-06). Institute for Logic, Language and Computation.
  • ten Cate, B. D. (2004). The first order formulas preserved under ultrafilter extensions are not recursively enumerable. Institute for Logic, Language and Computation.
  • Blackburn, P., & ten Cate, B. D. (2004). Pure extensions, proof rules and hybrid axiomatics. In R. Schmidt, & I. Pratt-Hartmann (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp. 16-29).
Page 6 of 8