Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio The power of the weak. (English) Zbl 1446.68089 ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020). MSC: 68Q60 03B16 03B45 68Q45 PDFBibTeX XMLCite \textit{F. Carreiro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020; Zbl 1446.68089) Full Text: DOI arXiv
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio Weak MSO: automata and expressiveness modulo bisimilarity. (English) Zbl 1401.03065 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 27, 10 p. (2014). MSC: 03D05 03B15 03B45 68Q85 PDFBibTeX XMLCite \textit{F. Carreiro} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 27, 10 p. (2014; Zbl 1401.03065) Full Text: DOI arXiv
Venema, Yde Expressiveness modulo bisimilarity: a coalgebraic perspective. (English) Zbl 1354.03023 Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 33-65 (2014). MSC: 03B45 03B15 PDFBibTeX XMLCite \textit{Y. Venema}, Outst. Contrib. Log. 5, 33--65 (2014; Zbl 1354.03023) Full Text: DOI Link
Facchini, Alessandro; Venema, Yde; Zanasi, Fabio A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus. (English) Zbl 1366.03186 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 478-487 (2013). MSC: 03B45 03B25 03B70 03D05 PDFBibTeX XMLCite \textit{A. Facchini} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 478--487 (2013; Zbl 1366.03186) Full Text: DOI