Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde Completeness for \(\mu\)-calculi: a coalgebraic approach. (English) Zbl 1443.03012 Ann. Pure Appl. Logic 170, No. 5, 578-641 (2019). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 03B45 03B70 68Q60 91A43 03G30 PDFBibTeX XMLCite \textit{S. Enqvist} et al., Ann. Pure Appl. Logic 170, No. 5, 578--641 (2019; Zbl 1443.03012) Full Text: DOI
Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde Parity games and automata for game logic. (English) Zbl 1499.03024 Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 115-132 (2018). MSC: 03B70 03B45 03D05 68Q45 91A80 PDFBibTeX XMLCite \textit{H. H. Hansen} et al., Lect. Notes Comput. Sci. 10669, 115--132 (2018; Zbl 1499.03024) Full Text: DOI arXiv Link
Venema, Yde Comments on Ramanujam and Simon. (English) Zbl 1306.91018 van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 192-195 (2013). MSC: 91A18 PDFBibTeX XMLCite \textit{Y. Venema}, Stud. Log. (Lond.) 47, 192--195 (2013; Zbl 1306.91018)
Loohuis, Loes Olde; Venema, Yde Logics and algebras for multiple players. (English) Zbl 1208.03057 Rev. Symb. Log. 3, No. 3, 485-519 (2010). Reviewer: Giacomo Bonanno (Davis) MSC: 03G25 03B05 03B45 68Q17 91A80 PDFBibTeX XMLCite \textit{L. O. Loohuis} and \textit{Y. Venema}, Rev. Symb. Log. 3, No. 3, 485--519 (2010; Zbl 1208.03057) Full Text: DOI
Tulenheimo, Tero; Venema, Yde Propositional logics for three. (English) Zbl 1244.03046 Dégremont, Cédric (ed.) et al., Dialogues, logics and other strange things. Essays in honour of Shahid Rahman. London: College Publications (ISBN 978-1-904987-13-0/pbk). Tributes 7, 399-430 (2008). MSC: 03B05 91A06 91A80 PDFBibTeX XMLCite \textit{T. Tulenheimo} and \textit{Y. Venema}, Tributes 7, 399--430 (2008; Zbl 1244.03046)
Venema, Yde Automata and fixed point logic: a coalgebraic perspective. (English) Zbl 1110.68066 Inf. Comput. 204, No. 4, 637-678 (2006). MSC: 68Q45 03B45 03G30 18C15 68Q70 68Q85 91A43 PDFBibTeX XMLCite \textit{Y. Venema}, Inf. Comput. 204, No. 4, 637--678 (2006; Zbl 1110.68066) Full Text: DOI
Hodkinson, Ian; Venema, Yde Canonical varieties with no canonical axiomatisation. (English) Zbl 1081.03062 Trans. Am. Math. Soc. 357, No. 11, 4579-4605 (2005). MSC: 03G15 03C05 05C15 05C80 91A43 PDFBibTeX XMLCite \textit{I. Hodkinson} and \textit{Y. Venema}, Trans. Am. Math. Soc. 357, No. 11, 4579--4605 (2005; Zbl 1081.03062) Full Text: DOI
Venema, Yde Representation of game algebras. (English) Zbl 1038.03060 Stud. Log. 75, No. 2, 239-256 (2003). Reviewer: Benedikt Löwe (Amsterdam) MSC: 03G25 06D30 91A99 PDFBibTeX XMLCite \textit{Y. Venema}, Stud. Log. 75, No. 2, 239--256 (2003; Zbl 1038.03060) Full Text: DOI
Venema, Yde Rectangular games. (English) Zbl 0926.03080 J. Symb. Log. 63, No. 4, 1549-1564 (1998). MSC: 03G15 91A80 03B20 03B45 91A05 91A40 PDFBibTeX XMLCite \textit{Y. Venema}, J. Symb. Log. 63, No. 4, 1549--1564 (1998; Zbl 0926.03080) Full Text: DOI