Search results
Results: 1,025
Number of items: 1,025
-
Infante-Lopez, G. G., Areces, C., & de Rijke, M. (2003). Controlled model exploration. In P. Balbiani, N.-Y. Suzuki, F. Wolter, & M. Zakharyaschev (Eds.), Advances in Modal Logic 4 (pp. 205-220). King's College Publications. http://www.aiml.net/volumes/volume4/
-
Alechina, N., Demri, S., & de Rijke, M. (2003). A modal perspective on path constraints. Journal of Logic and Computation, 13(6), 939-956. https://doi.org/10.1093/logcom/13.6.939
Page 85 of 103