| PDL Inside the μ-calculus: a syntactic and an automata-theoretic characterization F Carreiro, Y Venema Advances in Modal Logic 10, 74-93, 2014 | 17 | 2014 |
| PDL is the bisimulation-invariant fragment of weak chain logic F Carreiro 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 341-352, 2015 | 13 | 2015 |
| Fragments of fixpoint logics F Carreiro Ph. D. thesis, University of Amsterdam, 2015 | 12 | 2015 |
| Weak MSO: Automata and expressiveness modulo bisimilarity F Carreiro, A Facchini, Y Venema, F Zanasi Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 12 | 2014 |
| The power of the weak F Carreiro, A Facchini, Y Venema, F Zanasi ACM Transactions on Computational Logic (TOCL) 21 (2), 1-47, 2020 | 8 | 2020 |
| Model theory of monadic predicate logic with the infinity quantifier F Carreiro, A Facchini, Y Venema, F Zanasi Archive for Mathematical Logic 61 (3), 465-502, 2022 | 6 | 2022 |
| PDL inside the µ-calculus F Carreiro, Y Venema Advances in Modal Logic 10, 2014 | 5 | 2014 |
| Characterization, definability and separation via saturated models C Areces, F Carreiro, S Figueira Theoretical Computer Science 537, 72-86, 2014 | 3 | 2014 |
| Coalgebraic announcement logics F Carreiro, D Gorķn, L Schröder Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 3 | 2013 |
| Basic model theory for memory logics C Areces, F Carreiro, S Figueira, S Mera Logic, Language, Information and Computation: 18th International Workshop …, 2011 | 3 | 2011 |
| Characterization and definability in modal first-order fragments F Carreiro arXiv preprint arXiv:1011.4718, 2010 | 2 | 2010 |
| Beyond Regularity for Presburger Modal Logic F Carreiro, S Demri Advances in Modal Logic, 161-182, 2012 | 1 | 2012 |
| On Characterization, Definability and ω-Saturated Models F Carreiro International Colloquium on Theoretical Aspects of Computing, 62-76, 2011 | 1 | 2011 |
Alessandro FacchiniIDSIA - USI/SUPSI (Dalle Molle Institute For Artificial Intelligence)Verified email at idsia.ch
