uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Bjorndahl, A., Özgün, A. (2019) Uncertainty about Evidence.
    Electronic Proceedings in Theoretical Computer Science, Vol. 297 (pp 68-81)
  • Bjorndahl, A., Özgün, A. (2020) Logic and topology for knowledge, knowability, and belief.
    Review of Symbolic Logic, Vol. 13 (pp 748-775)
  • Blackburn, P., de Rijke, M., Venema, Y. (1997) Relational methods in logic, language and information.
    In Kahl, W. Brink, C. Schmidt, G. (Eds.), Relational Methods in Computer Science (pp 211-225). Springer-Verlag.
    Chapter | UvA-DARE
  • Blackburn, P., de Rijke, M., Venema, Y. (2001) Modal Logic.
    Cambridge Tracts in Computer Science. Cambridge University Press.
    Book | UvA-DARE
  • Blackburn, P., de Rijke, M. (1997) Specifying Syntactic Structures. Studies in logic, Language and Information.
    CSLI Publications.
    Book (Editorship) | UvA-DARE
  • Blackburn, P., de Rijke, M. (1997) Why combine logics?.
    Studia Logica, Vol. 59 (pp 5-27)
    Article | UvA-DARE
  • Blackburn, P., de Rijke, M. (1997) Zooming in, zooming out.
    Journal of Logic, Language and Information, Vol. 6 (pp 5-31)
    Article | UvA-DARE
  • Blackburn, P., Gaiffe, B., Marx, M. (2003) Variable free reasoning on finite trees.
    In Proceedings of Mathematics of Language (MOL-8)
    Conference contribution | UvA-DARE
  • Blackburn, P., Jaspars, J., de Rijke, M. (1997) Reasoning about changing information.
    South African Computer Journal, Vol. 19 (pp 2-26)
    Article | UvA-DARE
  • Blackburn, P., Kamps, J., Marx, M. (2001) Situation calculus as hybrid logic: First steps.
    In Brazdil, P. Jorge, A. (Eds.), Progress in Artificial Intelligence (pp 253-260) (Lecture Notes in Artificial Intelligence). Springer Verlag.
    Chapter | UvA-DARE
  • Blackburn, P., Kamps, J., Marx, M. (2001) Situation calculus as hybrid logic: First steps.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Blackburn, P., Marx, M. (2001) Third international workshop on hybrid logic (hylo'01).
    Logic Journal of the IGPL, Vol. 9 (pp 735-737)
    Article | UvA-DARE
  • Blackburn, P., Marx, M. (2001) Quantified hybrid logic and natural language.
    In Proceedings Amsterdam Colloquium 2001
    Conference contribution | UvA-DARE
  • Blackburn, P., Marx, M. (2001) Tableaux for quantified hybrid logic.
    In Areces, C. de Rijke, M. (Eds.), Proceedings of M4M Workshop, 2001
    Conference contribution | UvA-DARE
  • Blackburn, P., Marx, M. (2002) Constructive Interpolation in Hybrid Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Blackburn, P., Marx, M. (2002) Tableaux for quantified hybrid logic.
    Lecture Notes in Computer Science, Vol. 2381 (pp 38-52)
    Article | UvA-DARE
  • Blackburn, P., Marx, M. (2002) Remarks on D. Gregory's actually operator.
    Journal of Philosophical Logic, Vol. 31 (pp 281-288)
  • Blackburn, P., Marx, M. (2003) Tableaux for Quantified Hybrid Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Blackburn, P., Marx, M. (2003) Constructive interpolation in hybrid logic.
    Journal of Symbolic Logic, Vol. 68 (pp 463-480)
  • Blackburn, P., ten Cate, B. (2002) Beyond pure axioms: Node creating rules in hybrid tableaux.
    In Marx, M. Areces, C. Blackburn, P. Sattler, U. (Eds.), Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002) (pp 1-15)
    Conference contribution | UvA-DARE
1 ... 45 46 47 48 49 50 51 52 53 ... 337

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact