| Relation-Changing Modal Operators C Areces, R Fervari, G Hoffmann Logic Journal of IGPL, jzv020, 2015 | 50 | 2015 |
| Moving arrows and four model checking results C Areces, R Fervari, G Hoffmann International Workshop on Logic, Language, Information, and Computation, 142-153, 2012 | 42 | 2012 |
| Swap Logic C Areces, R Fervari, G Hoffmann The Logic Journal of IGPL, 2013 | 40 | 2013 |
| Strategically Knowing How R Fervari, A Herzig, Y Li, Y Wang Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017 | 26 | 2017 |
| Relation-Changing Modal Logics R Fervari FaMAF, Universidad Nacional de Córdoba, 2014 | 25 | 2014 |
| Tableaux for relation-changing modal logics C Areces, R Fervari, G Hoffmann International Symposium on Frontiers of Combining Systems, 263-278, 2013 | 14 | 2013 |
| Logics with Copy and Remove C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber | 13 | 2014 |
| On the complexity of modal separation logics S Demri, R Fervari | 11 | 2018 |
| Satisfiability for relation-changing logics C Areces, R Fervari, G Hoffmann, M Martel Journal of Logic and Computation 28 (7), 1443-1470, 2018 | 11 | 2018 |
| Axiomatising Logics with Separating Conjunction and Modalities S Demri, R Fervari, A Mansutti European Conference on Logics in Artificial Intelligence, 692-708, 2019 | 9 | 2019 |
| Axiomatizations for downward XPath on Data Trees S Abriola, ME Descotte, R Fervari, S Figueira Journal of Computer and System Sciences 89, 209–245, 2017 | 9 | 2017 |
| The Modal Logic of Copy and Remove C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber Information and Computation, 0 | 9* | |
| Undecidability of Relation-Changing Modal Logics C Areces, R Fervari, G Hoffmann, M Martel International Workshop on Dynamic Logic, 1-16, 2017 | 8 | 2017 |
| Relation-Changing Logics as Fragments of Hybrid Logics C Areces, R Fervari, G Hoffmann, M Martel 7th International Symposium on Games, Automata, Logics, and Formal …, 2016 | 7 | 2016 |
| Dynamic Epistemic Logics of Introspection R Fervari, FR Velázquez-Quesada International Workshop on Dynamic Logic, 82-97, 2017 | 6 | 2017 |
| Hilbert-Style Axiomatization for Hybrid XPath with Data C Areces, R Fervari European Conference on Logics in Artificial Intelligence, 34-48, 2016 | 6 | 2016 |
| Introspection as an action in relational models R Fervari, FR Velázquez-Quesada Journal of Logical and Algebraic Methods in Programming 108, 1-23, 2019 | 5 | 2019 |
| Tableaux for Hybrid XPath with Data C Areces, R Fervari, N Seiler EPIA Conference on Artificial Intelligence, 611-623, 2017 | 4 | 2017 |
| Interpolation and Beth Definability in Default Logics V Cassano, R Fervari, C Areces, PF Castro European Conference on Logics in Artificial Intelligence, 675-691, 2019 | 3 | 2019 |
| Modal Logics with Composition on Finite Forests: Expressivity and Complexity B Bednarczyk, S Demri, R Fervari, A Mansutti Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 2 | 2020 |
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
