uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | 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., 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. (2001) Quantified hybrid logic and natural language.
    In Proceedings Amsterdam Colloquium 2001
    Conference contribution | 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. (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. (2002) Constructive Interpolation in Hybrid Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • 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
  • Blackburn, P., ten Cate, B. (2004) Pure extensions, proof rules and hybrid axiomatics.
    In Schmidt, R. Pratt-Hartmann, I. (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp 16-29)
    Conference contribution | UvA-DARE
1 ... 41 42 43 44 45 46 47 48 49 ... 308

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