Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Open Access
    Tulenheimo, T., & Venema, Y. (2008). Propositional logics for three. In C. Dégrémont, L. Keiff, & H. Rückert (Eds.), Dialogues, logics and other strange things: Essays in honour of Shahid Rahman (pp. 399-430). (Tributes; No. 7). College Publications. http://www.geocities.com/tero_tulenheimo/Online/TulVen.pdf
  • 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
  • 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.
  • Gehrke, M., Harding, J., & Venema, Y. (2006). MacNeille completions and canonical extensions. Transactions of the Americal Mathematical Society, 358(2), 573-590. https://doi.org/10.1090/S0002-9947-05-03816-X
  • 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.
  • 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
  • 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/
Page 8 of 13