-
Areces, C.E. Blackburn, P. Marx, M.J. (1999) Hybrid logic is the bounded fragment of first order logic.In Carnielli, W. de Queiroz, R. (Eds.), Proceedings of 6th workshop on logic, language , information and computation, WOLLIC99 (pp 33-50)Conference contribution | UvA-DAREAreces, C.E. Blackburn, P. Marx, M.J. (2000) The computational complexity of hybrid temporal logic.Technical Report. Institute for Logic Language and Computation.Working paper | UvA-DAREAreces, C.E. Blackburn, P. Marx, M.J. (2001) Repairing the interpolation lemma in quantified modal logic`.Technical Report. Institute for Logic, Language and Computation.Working paper | UvA-DAREAreces, C.E. Blackburn, P. Marx, M.J. (2001) Repairing the interpolation theorem in first-order modal logic.In Proceedinds of BNAIC 2001Conference contribution | UvA-DAREAreces, C.E. Blackburn, P. Marx, M.J. (2001) Hybrid logics: Characterization, interpolation and complexity.Journal of Symbolic Logic, Vol. 66 (pp 977-1010)Article | https://doi.org/10.2307/2695090 | UvA-DAREAreces, C.E. Blackburn, P. Marx, M.J. (2003) Repairing the interpolation lemma in quantified modal logic.Annals of Pure and Applied Logic, Vol. 124 (pp 287-299)Areces, C.E. Bouma, L.G. de Rijke, M. (1999) Description logics and feature interaction.In Proceedings of the International Workshop on Description Logics (DL'99)Conference contribution | UvA-DAREAreces, C.E. Bouma, W. de Rijke, M. (1999) Feature interaction as a satisfiability problem.In Proc. MASCOTS'99. IEEE Press.Conference contribution | UvA-DAREAreces, C.E. Bouma, W. de Rijke, M. (1999) Feature interaction as a satisfiability problem.In Proceedings of MASCOTS'99Conference contribution | UvA-DAREAreces, C.E. Bouma, W. de Rijke, M. (1999) Description logics and feature interaction.In Proceedings of the 1999 International Workshop on Description Logics (DL'98)Conference contribution | UvA-DAREAreces, C.E. de Jongh, D.H.J. Hoogland, E. (1998) The interpolation theorem for IL and ILP..ml-1998-11, ILLC. WINS (oud WINS).Report | UvA-DAREAreces, C.E. de Jongh, D.H.J. Hoogland, E. (1998) The interpolation theorem for IL and ILP.In Proc. of AiML98 Advances in modal logic (pp ---) (-). Uppsala University.Chapter | UvA-DAREAreces, C.E. de Nivelle, H. de Rijke, M. (2002) Resolution in Modal, Description and Hybrid Logic.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREAreces, C.E. de Nivelle, J.M.G.G. de Rijke, M. (1999) Prefixed resolution.In Proceedings CADE-16. Springer-Verlag.Conference contribution | UvA-DAREAreces, C.E. de Nivelle, J.M.G.G. de Rijke, M. (2001) Resolution in modal, description and hybrid logic.Journal of Logic and Computation, Vol. 11 (pp 717-736)Article | https://doi.org/10.1093/logcom/11.5.717 | UvA-DAREAreces, C.E. de Rijke, M. Infante Lopez, G.G. (2002) Decomposing Modal Logic.Technical Report. Institute for Logic, Language and Computation.Working paper | UvA-DAREAreces, C.E. de Rijke, M. (1998) Expressiveness revisited.In de Giacomo, G. Franconi, E. MacGregor, R. Nutt, W. Welty, C. (Eds.), Proc. of the 1998 International workshop on descrition logics (pp 35-43) (-). Povo.Chapter | UvA-DAREAreces, C.E. de Rijke, M. (1998) interpolation and bisimulation in temporal logic.In Proc. of WoLLIC'98 Workshop of logic, language, information and computation (pp 15-21) (--)Chapter | UvA-DAREAreces, C.E. de Rijke, M. (1999) Workshop Proceedings Methods for Modalities.ILLC.Book (Editorship) | UvA-DAREAreces, C.E. de Rijke, M. (2000) Description and/or hybrid logics.In Proceedings of AiML 2000Conference contribution | UvA-DARE
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 illc at uva.nl
