Bezhanishvili, Nick; de Groot, Jim; Venema, Yde Coalgebraic geometric logic: basic theory. (English) Zbl 07639906 Log. Methods Comput. Sci. 18, No. 4, Paper No. 10, 41 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 10, 41 p. (2022; Zbl 07639906) Full Text: DOI arXiv
Marti, Johannes; Venema, Yde A focus system for the alternation-free \(\mu \)-calculus. (English) Zbl 07532527 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 371-388 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{J. Marti} and \textit{Y. Venema}, Lect. Notes Comput. Sci. 12842, 371--388 (2021; Zbl 07532527) Full Text: DOI
Bezhanishvili, Nick; De Groot, Jim; Venema, Yde Coalgebraic geometric logic. (English) Zbl 07649890 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 7, 18 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 7, 18 p. (2019; Zbl 07649890) Full Text: DOI arXiv
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y. A strict implication calculus for compact Hausdorff spaces. (English) Zbl 1446.03041 Ann. Pure Appl. Logic 170, No. 11, Article ID 102714, 29 p. (2019). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 06E15 06E25 54E05 54G05 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Ann. Pure Appl. Logic 170, No. 11, Article ID 102714, 29 p. (2019; Zbl 1446.03041) Full Text: DOI
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
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics. (English) Zbl 1391.68077 Theor. Comput. Sci. 727, 37-100 (2018). MSC: 68Q60 03B45 03B70 03D05 68Q45 PDFBibTeX XMLCite \textit{S. Enqvist} et al., Theor. Comput. Sci. 727, 37--100 (2018; Zbl 1391.68077) Full Text: DOI
Bezhanishvili, Guram; Bezhanishvili, Nick; Sourabh, Sumit; Venema, Yde Irreducible equivalence relations, Gleason spaces, and de Vries duality. (English) Zbl 1425.54006 Appl. Categ. Struct. 25, No. 3, 381-401 (2017). MSC: 54B30 03B45 06E15 54G05 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Appl. Categ. Struct. 25, No. 3, 381--401 (2017; Zbl 1425.54006) Full Text: DOI
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
Goguadze, George; Piazza, Carla; Venema, Yde Simulating polyadic modal logics by monadic ones. (English) Zbl 1059.03008 J. Symb. Log. 68, No. 2, 419-462 (2003). MSC: 03B45 PDFBibTeX XMLCite \textit{G. Goguadze} et al., J. Symb. Log. 68, No. 2, 419--462 (2003; Zbl 1059.03008) Full Text: DOI Euclid
Stebletsova, Vera; Venema, Yde Undecidable theories of Lyndon algebras. (English) Zbl 0980.03065 J. Symb. Log. 66, No. 1, 207-224 (2001). Reviewer: Manuel Abad (Bahia Blanca) MSC: 03G15 51A05 03B25 PDFBibTeX XMLCite \textit{V. Stebletsova} and \textit{Y. Venema}, J. Symb. Log. 66, No. 1, 207--224 (2001; Zbl 0980.03065) Full Text: DOI
Venema, Yde Tree models and (labeled) categorial grammar. (English) Zbl 0855.03017 J. Logic Lang. Inf. 5, No. 3-4, 253-277 (1996). MSC: 03B65 PDFBibTeX XMLCite \textit{Y. Venema}, J. Logic Lang. Inf. 5, No. 3--4, 253--277 (1996; Zbl 0855.03017) Full Text: DOI
Blackburn, Patrick; Venema, Yde Dynamic squares. (English) Zbl 0842.03016 J. Philos. Log. 24, No. 5, 469-523 (1995). Reviewer: O.Sonobe (Follonica) MSC: 03B45 03B65 03B70 PDFBibTeX XMLCite \textit{P. Blackburn} and \textit{Y. Venema}, J. Philos. Log. 24, No. 5, 469--523 (1995; Zbl 0842.03016) Full Text: DOI
de Rijke, Maarten; Venema, Yde Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. (English) Zbl 0823.03037 Stud. Log. 54, No. 1, 61-78 (1995). Reviewer: R.Maddux (Ames) MSC: 03G25 03G15 06E25 PDFBibTeX XMLCite \textit{M. de Rijke} and \textit{Y. Venema}, Stud. Log. 54, No. 1, 61--78 (1995; Zbl 0823.03037) Full Text: DOI
Venema, Yde Derivation rules as anti-axioms in modal logic. (English) Zbl 0793.03017 J. Symb. Log. 58, No. 3, 1003-1034 (1993). Reviewer: U.Scheffler (Berlin) MSC: 03B45 PDFBibTeX XMLCite \textit{Y. Venema}, J. Symb. Log. 58, No. 3, 1003--1034 (1993; Zbl 0793.03017) Full Text: DOI Link