Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 72
Number of items: 72
  • 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). On the Complexity of hybrid logics with binders. (Technical Reports; No. PP-2005-02). Institute for Logic, Language and Computation.
  • 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
  • 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).
  • 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)
  • 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.
  • Franceschet, M., & ten Cate, B. D. (2004). Guarded fragments with constants. (Technical Reports; No. PP-2004-32). Institute for Logic, Language and Computation.
Page 6 of 8