Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • 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.
  • 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)
  • Areces, C. E., Blackburn, P., & Marx, M. J. (2001). Repairing the interpolation theorem in first-order modal logic. In Proceedinds of BNAIC 2001
  • Marx, M. J. (2001). Relation Algebra with Binders. (Technical Reports; No. PP-2001-04). Institute for Logic, Language and Computation.
  • Blackburn, P., & Marx, M. J. (2001). Quantified hybrid logic and natural language. In Proceedings Amsterdam Colloquium 2001
  • Ó Nualláin, B. S., Marx, M. J., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings SAT 2001
  • Blackburn, P., & Marx, M. J. (2001). Tableaux for quantified hybrid logic. In C. Areces, & M. de Rijke (Eds.), Proceedings of M4M Workshop, 2001
Page 19 of 21