Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Open Access
    Bílková, M., Palmigiano, A., & Venema, Y. (2008). Proof systems for the coalgebraic cover modality. In C. Areces, & R. Goldblatt (Eds.), Advances in Modal Logic 7 (pp. 1-21). College Publications. http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf
  • Marx, M. J., & Venema, Y. (2007). Local variations on a loose theme: modal logic and decidability. In E. Grädel, P. Kolaitis, L. Libkin, M. J. Marx, J. Spencer, M. Vardi, Y. Venema, & S. Weinstein (Eds.), Finite Model Theory and its Applications (pp. 371-430). Springer Verlag.
  • Grädel, E., Kolaitis, P., Libkin, L., Marx, M. J., Spencer, J., Vardi, M., Venema, Y., & Weinstein, S. (2007). Finite model theory and its applications. (Texts in theoretical computer science; No. 13). Springer.
  • Santocanale, L., & Venema, Y. (2007). Completeness for flat modal fixpoint logics. In N. Dershowitz, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings (pp. 499-513). (Lecture Notes in Computer Science; Vol. 4790), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-540-75560-9_36
  • Palmigiano, A., & Venema, Y. (2007). Nabla algebras and Chu spaces. In T. Mossakowski, U. Montanari, & M. Haveraaen (Eds.), Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings (pp. 394-408). (Lecture Notes in Computer Science; Vol. 4624). Springer. https://doi.org/10.1007/978-3-540-73859-6_27
  • Venema, Y. (2006). Automata and Fixed Point Logics: a Coalgebraic Perspective. Information and Computation, 204, 637-678. https://doi.org/10.1016/j.ic.2005.06.003
  • ten Cate, B. D., Conradie, W., Marx, M. J., & Venema, Y. (2006). Definitorially Complete Description Logics. In P. Doherty, J. Mylopoulos, & C. Welty (Eds.), Proceedings of KR 2006 (pp. 79-89). AAAI Press.
  • Kupke, C. A. (2006). Finitary coalgebraic logics. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Governatori, G., Hodkinson, I., & Venema, Y. (Eds.) (2006). Advances in Modal Logic 6. (Advances in Modal Logic; No. 6). College Publications. http://www.aiml.net/volumes/volume6/
  • Venema, Y. (2006). Algebras and Coalgebras. In J. F. A. K. van Benthem, P. Blackburn, & F. Wolter (Eds.), Handbook of Modal Logic (pp. 331-426). Elsevier.
Page 8 of 13