Raul Fervari

Most-cited papers

Relation-changing modal operators
C. Areces, Raul Fervari, Guillaume Hoffmann
2015Logic Journal of the IGPL71 citations Open access
Semantic Scholar
Strategically knowing how
Raul Fervari, A. Herzig, Yan-Jun Li, Yanjing Wang
2017International Joint Conference on Artificial Intelligence62 citations Open access
Semantic Scholar
Moving Arrows and Four Model Checking Results
C. Areces, Raul Fervari, Guillaume Hoffmann
2012Workshop on Logic, Language, Information and Computation37 citations Open access
Semantic Scholar
Swap logic
C. Areces, Raul Fervari, Guillaume Hoffmann
2014Logic Journal of the IGPL30 citations Open access
Semantic Scholar
Relation-changing modal logics
Raul Fervari
201422 citations
Semantic Scholar
Satisfiability for relation-changing logics
C. Areces, Raul Fervari, Guillaume Hoffmann, M. Martel
2018Journal of Logic and Computation17 citations Open access
Semantic Scholar
Introspection as an action in relational models
Raul Fervari, F. R. Velázquez-Quesada
2019J. Log. Algebraic Methods Program.11 citations Open access
Semantic Scholar
On the Complexity of Modal Separation Logics
Stephane Demri, Raul Fervari
2018Advances in Modal Logic11 citations
Semantic Scholar
Tableaux for Relation-Changing Modal Logics
C. Areces, Raul Fervari, Guillaume Hoffmann
2013International Symposium on Frontiers of Combining Systems11 citations Open access
Semantic Scholar
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
C. Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Vel'azquez-Quesada
2021Theoretical Aspects of Rationality and Knowledge10 citations Open access
Semantic Scholar
BISIMULATIONS FOR KNOWING HOW LOGICS
Raul Fervari, F. R. Velázquez-Quesada, Yanjing Wang
2021The Review of Symbolic Logic10 citations Open access
Semantic Scholar
Axiomatising Logics with Separating Conjunction and Modalities
Stephane Demri, Raul Fervari, Alessio Mansutti
2019European Conference on Logics in Artificial Intelligence10 citations Open access
Semantic Scholar
The power of modal separation logics
Stephane Demri, Raul Fervari
2019Journal of Logic and Computation10 citations Open access
Semantic Scholar
The modal logic of copy and remove
C. Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2017Information and Computation10 citations Open access
Semantic Scholar
Axiomatizations for downward XPath on data trees
S. Abriola, M. E. Descotte, Raul Fervari, S. Figueira
2016Journal of computer and system sciences (Print)10 citations Open access
Semantic Scholar
Logics with Copy and Remove
C. Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2014Workshop on Logic, Language, Information and Computation10 citations
Semantic Scholar
Relation-Changing Logics as Fragments of Hybrid Logics
C. Areces, Raul Fervari, Guillaume Hoffmann, M. Martel
2016International Symposium on Games, Automata, Logics and Formal Verification9 citations Open access
Semantic Scholar
Dynamic Epistemic Logics of Introspection
Raul Fervari, F. R. Velázquez-Quesada
2017DALI@TABLEAUX8 citations
Semantic Scholar
Model-Checking for Ability-Based Logics with Constrained Plans
Stephane Demri, Raul Fervari
2023AAAI Conference on Artificial Intelligence7 citations Open access
Semantic Scholar
Undecidability of Relation-Changing Modal Logics
C. Areces, Raul Fervari, Guillaume Hoffmann, M. Martel
2017DALI@TABLEAUX7 citations
Semantic Scholar
Interpolation and Beth Definability in Default Logics
Valentin Cassano, Raul Fervari, C. Areces, Pablo F. Castro
2019European Conference on Logics in Artificial Intelligence6 citations
Semantic Scholar
Hilbert-Style Axiomatization for Hybrid XPath with Data
C. Areces, Raul Fervari
2016European Conference on Logics in Artificial Intelligence6 citations
Semantic Scholar
Modal Logics with Composition on Finite Forests: Expressivity and Complexity
B. Bednarczyk, Stephane Demri, Raul Fervari, Alessio Mansutti
2020Logic in Computer Science4 citations Open access
Semantic Scholar
Axiomatizing Hybrid XPath with Data
C. Areces, Raul Fervari
2020Log. Methods Comput. Sci.4 citations Open access
Semantic Scholar
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
C. Areces, Valentin Cassano, Raul Fervari, Pablo F. Castro +1 more
2023European Conference on Logics in Artificial Intelligence3 citations Open access
Semantic Scholar
Tableaux for Hybrid XPath with Data
C. Areces, Raul Fervari, Nahuel G. Seiler
2017Portuguese Conference on Artificial Intelligence3 citations
Semantic Scholar
How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics
Pablo F. Castro, P. D'Argenio, Raul Fervari
2025International Conference on Principles of Knowledge Representation and Reasoning2 citations Open access
Semantic Scholar
Uncertainty-Based Knowing How Logic
C. Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Vel'azquez-Quesada
2023Journal of Logic and Computation2 citations Open access
Semantic Scholar
A Deontic Logic of Knowingly Complying
C. Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari +1 more
2023Adaptive Agents and Multi-Agent Systems2 citations
Semantic Scholar
Data Graphs with Incomplete Information (and a Way to Complete Them)
C. Areces, Valentin Cassano, Danae Dutto, Raul Fervari
2023European Conference on Logics in Artificial Intelligence2 citations
Semantic Scholar
First Steps in Updating Knowing How
C. Areces, Raul Fervari, Andrés R. Saravia, F. R. Velázquez-Quesada
2022Dynamic Logic. New Trends and Applications2 citations
Semantic Scholar
Verification of dynamic bisimulation theorems in Coq
Raul Fervari, Francisco Trucco, Beta Ziliani
2021J. Log. Algebraic Methods Program.2 citations Open access
Semantic Scholar
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
Raul Fervari, Francisco Trucco, Beta Ziliani
2019Dynamic Logic. New Trends and Applications2 citations
Semantic Scholar
The Expressive Power of Swap Logic
Raul Fervari
20122 citations
Semantic Scholar
The Dynamics of Knowing How
C. Areces, Raul Fervari, Andrés R. Saravia, F. Velázquez-Quesada
2025Journal of Logic, Language and Information1 citations
Semantic Scholar
Deontic Action Logics: A Modular Algebraic Perspective
C. Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari
2025Journal of Logic, Language and Information1 citations Open access
Semantic Scholar
Beyond the Spell: A Dynamic Logic Analysis of Misdirection
Benjamin Icard, Raul Fervari
2024arXiv.org1 citations
Semantic Scholar
Arbitrary Radical Upgrades
Raul Fervari, Benjamin Icard
2024IEEE International Conference on Software Engineering and Formal Methods1 citations Open access
Semantic Scholar
On Composing Finite Forests with Modal Logics
B. Bednarczyk, Stephane Demri, Raul Fervari, Alessio Mansutti
2022ACM Transactions on Computational Logic1 citations Open access
Semantic Scholar
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy
Raul Fervari, Alessio Mansutti
2022Foundations of Software Science and Computation Structure1 citations Open access
Semantic Scholar
Copy and remove as dynamic operators
C. Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert +1 more
2021J. Appl. Non Class. Logics1 citations Open access
Semantic Scholar
Deontic Action Logics via Algebra
Pablo F. Castro, Valentin Cassano, Raul Fervari, C. Areces
2021International Workshop on Deontic Logic in Computer Science1 citations
Semantic Scholar
Internal proof calculi for modal logics with separating conjunction
Stephane Demri, Raul Fervari, Alessio Mansutti
2021Journal of Logic and Computation1 citations Open access
Semantic Scholar
Default Modal Systems as Algebraic Updates
Valentin Cassano, Raul Fervari, C. Areces, Pablo F. Castro
2020Dynamic Logic. New Trends and Applications1 citations
Semantic Scholar
A Tableaux Calculus for Default Intuitionistic Logic
Valentin Cassano, Raul Fervari, Guillaume Hoffmann, C. Areces +1 more
2019CADE1 citations
Semantic Scholar
The Impact of Including Model Update Operators in Modal Logics
Raul Fervari
2013ESSLLI Student Sessions1 citations Open access
Semantic Scholar
Towards scaling up DynAlloy analysis using predicate abstraction
Rodrigo Ariño, R. Degiovanni, Raul Fervari, Pablo Ponzio +1 more
20091 citations
Semantic Scholar
Veriﬁcation of Dynamic Bisimulation Theorems in Coq
Raul Fervari, Francisco Trucco, Beta Ziliani
1 citations
Semantic Scholar
Computational Aspects of Plan-Dependent Model Equivalence: The Case of Knowing-How Bisimulations
C. Areces, Raul Fervari, Antonio Mondejar
2026Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems0 citations
Semantic Scholar
Satisfiability for Knowing How over Linear Plans is NP-complete
C. Areces, Pablo Barceló, Valentin Cassano, Pablo F. Castro +2 more
2026arXiv.org0 citations
Semantic Scholar