uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Areces, C.E., Heguiabehere, J.M. (2002) Hylores: Direct resolution for hybrid logics.
    Lecture Notes in Computer Science (pp 156-160)
    Article | UvA-DARE
  • Areces, C.E., Heguiabehere, J.M. (2002) Direct resolution for modal-like logics.
    In Proceedings of the 3rd International Workshop on the Implementation of Logics
    Conference contribution | UvA-DARE
  • Areces, C.E., Heguiabehere, J.M. (2002) Hylores: A hybrid logic prover based on direct resolution.
    In Proceedings of Advances in Modal Logic
    Conference contribution | UvA-DARE
  • Areces, C.E., Heguiabehere, J.M. (2002) Hylores: A hybrid logic prover based on direct resolution (system demo).
    In Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial Intelligence
    Conference contribution | UvA-DARE
  • Areces, C.E., Heguiabehere, J.M. (2003) hGen: A random CNF formula generator for hybrid languages.
    In Proceedings of Methods for Modalities 3, September
    Conference contribution | UvA-DARE
  • Areces, C.E., Hoogland, E., de Jongh, D. (1999) Interpolation, definability and fixed points in interpretability logics.
    In Advances in Modal Logic
    Chapter | UvA-DARE
  • Areces, C.E., Hoogland, E., de Jongh, D. (2000) Interpolation, Definability and Fixed Points in Interpretability Logics.
    In Segerberg, K. Zakharyaschev, M. de Rijke, M. Wansing, H. (Eds.), Advances in Modal Logic (pp 35-58) (CSLI Publications). CSLI.
    Chapter | UvA-DARE
  • Areces, C.E., Infante Lopez, G.G., de Rijke, M. (2002) Decomposing modal logic.
    In Proceedings of Advances in Modal Logic 2002
    Conference contribution | UvA-DARE
  • Areces, C.E., Lutz, C. (2002) Concrete domains and nominals united.
    In Proceedings of HYLO@LICS, 4th Workshop on Hybrid Logics. LICS 2002 Affiliated Workshop
    Conference contribution | UvA-DARE
  • Areces, C.E., Marx, M., Blackburn, P. (2000) The computational complexity of hybrid temporal logics.
    Logic Journal of the IGPL, Vol. 8 (pp 653-679)
    Article | UvA-DARE
  • Areces, C.E., Marx, M. (1997) Failure of interpolation.
    Technical report. University of Warwick.
    Report | UvA-DARE
  • Areces, C.E., Monz, C., de Nivelle, J.M.G.G., de Rijke, M. (1999) The guarded fragment: Ins and outs.
    In Gerbrandy et al., J.D. (Eds.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers - Amsterdam University Press.
  • Areces, C.E. (1998) AGM Functions.
    In Proc. of BR'98. Belief Revision Workshop (-)
    Chapter | UvA-DARE
  • Areces, C.E. (1998) Characterisation results for d-Horn Formulas.
    In Proc. ITALLC98 (-). CSLI Publications.
    Chapter | UvA-DARE
  • Areces, C.E. (1999) Fragmentary memories.
    In Gerbrandy et al., J.D. (Eds.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday
    Chapter | UvA-DARE
  • Areces, C.E. (2000) Logic Engineering. The Case of Description and Hybrid Logics.
    ILLC dissertation series 2000-05.
    Thesis, fully internal | UvA-DARE
  • Arie Erez, S., Blanke, T., Bryant, M., Rodriguez, K., Speck, R., Vanden Daelen, V. (2020) Record linking in the EHRI portal.
    Records Management Journal, Vol. 30 (pp 363-378)
  • Arienzo, M., Grinko, D., Kliesch, M., Heinrich, M. (2025) Bosonic Randomized Benchmarking with Passive Transformations.
    PRX quantum, Vol. 6
  • Arienzo, M., Grinko, D., Kliesch, M., Heinrich, M. (2025) Bosonic randomized benchmarking with passive transformations.
    ArXiv.
  • Arló-Costa, H., Hendricks, V.F., van Benthem, J.F.A.K. (2016) Readings in Formal Epistemology: Sourcebook.
    Springer Graduate Texts in Philosophy, Vol. 1. Springer.
1 ... 19 20 21 22 23 24 25 26 27 ... 340

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