Search results
Filter results
-
Full text
-
Document type
-
Organisation
Results: 218,601
Number of items: 218,601
-
Areces, C. E., Blackburn, P., & Marx, M. J. (2001). Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3), 977-1010. https://doi.org/10.2307/2695090
-
Areces, C. E., de Nivelle, J. M. G. G., & de Rijke, M. (2001). Resolution in modal, description and hybrid logic. Journal of Logic and Computation, 11(5), 717-736. https://doi.org/10.1093/logcom/11.5.717
Page 16508 of 21861