Relation-Changing Modal Operators C Areces, R Fervari, G Hoffmann Logic Journal of IGPL, jzv020, 2015 | 75 | 2015 |
Strategically Knowing How R Fervari, A Herzig, Y Li, Y Wang Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017 | 58 | 2017 |
Moving arrows and four model checking results C Areces, R Fervari, G Hoffmann International Workshop on Logic, Language, Information, and Computation, 142-153, 2012 | 54 | 2012 |
Swap Logic C Areces, R Fervari, G Hoffmann The Logic Journal of IGPL, 2013 | 50 | 2013 |
Relation-Changing Modal Logics R Fervari FaMAF, Universidad Nacional de Córdoba, 2014 | 35 | 2014 |
Satisfiability for relation-changing logics C Areces, R Fervari, G Hoffmann, M Martel Journal of Logic and Computation 28 (7), 1443-1470, 2018 | 23 | 2018 |
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 | 15 | 2016 |
On the complexity of modal separation logics S Demri, R Fervari Advances in Modal Logic, Bern, 2018, 2018 | 14 | 2018 |
Logics with Copy and Remove C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber | 14 | 2014 |
Tableaux for relation-changing modal logics C Areces, R Fervari, G Hoffmann Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013 | 14 | 2013 |
Bisimulations for Knowing How Logics R Fervari, FR Velázquez-Quesada, Y Wang The Review of Symbolic Logic, 1-37, 2021 | 13 | 2021 |
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 | 13 | 2019 |
Axiomatising logics with separating conjunction and modalities S Demri, R Fervari, A Mansutti European Conference on Logics in Artificial Intelligence, 692-708, 2019 | 13 | 2019 |
Undecidability of relation-changing modal logics C Areces, R Fervari, G Hoffmann, M Martel Dynamic Logic. New Trends and Applications: First International Workshop …, 2018 | 13 | 2018 |
The Modal Logic of Copy and Remove C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber Information and Computation, 0 | 11* | |
Dynamic epistemic logics of introspection R Fervari, FR Velázquez-Quesada Dynamic Logic. New Trends and Applications: First International Workshop …, 2018 | 10 | 2018 |
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 | 10 | 2017 |
The power of modal separation logics S Demri, R Fervari Journal of Logic and Computation 29 (8), 1139-1184, 2019 | 9 | 2019 |
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics C Areces, R Fervari, AR Saravia, FR Velázquez-Quesada arXiv preprint arXiv:2106.11492, 2021 | 8 | 2021 |
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 | 8 | 2020 |