Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Blackburn, P., & Marx, M. J. (2001). Tableaux for quantified hybrid logic. In C. Areces, & M. de Rijke (Eds.), Proceedings of M4M Workshop, 2001
  • Marx, M. J., & Treur, J. (2001). Trust dynamics formalised in temporal logic. In L. Chen, & Y. Zhuo (Eds.), Proc. of the Third International Conference on Cognitive Scienc, ICCS 2001 (pp. 359-363)
  • Blackburn, P., Kamps, J., & Marx, M. J. (2001). Situation calculus as hybrid logic: First steps. In P. Brazdil, & A. Jorge (Eds.), Progress in Artificial Intelligence (pp. 253-260). (Lecture Notes in Artificial Intelligence; No. 2258). Springer Verlag.
  • Areces, C. E., Blackburn, P., & Marx, M. J. (2001). Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3), 977-1010. https://doi.org/10.2307/2695090
  • Blackburn, P., & Marx, M. J. (2001). Third international workshop on hybrid logic (hylo'01). Logic Journal of the IGPL, 9(5), 735-737.
  • Marx, M. J., & Masuch, J. M. F. (2001). Regular equivalence and dynamic logic. (Technical Report, Applied Logic Laboratory). Institute for Logic, Language and Computation.
  • Marx, M. J. (2001). Relation algebra with binders. Journal of Logic and Computation, 11(5), 691-700. https://doi.org/10.1093/logcom/11.5.691
  • Marx, M. J. (2001). Tolerance logic. Journal of Logic, Language and Information, 10, 353-373.
  • Marx, M. J., & Mikulás, S. (2001). Products, or how to create modal logics of high complexity. Logic Journal of the IGPL, 9(1), 77-88.
  • Areces, C. E., Blackburn, P., & Marx, M. J. (2001). Repairing the interpolation theorem in first-order modal logic. In Proceedinds of BNAIC 2001
Page 19 of 21