Follow
Raul Fervari
Raul Fervari
FAMAF, Universidad Nacional de Córdoba and CONICET
Verified email at unc.edu.ar - Homepage
Title
Cited by
Cited by
Year
Relation-Changing Modal Operators
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL, jzv020, 2015
742015
Strategically Knowing How
R Fervari, A Herzig, Y Li, Y Wang
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
562017
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
International Workshop on Logic, Language, Information, and Computation, 142-153, 2012
542012
Swap Logic
C Areces, R Fervari, G Hoffmann
The Logic Journal of IGPL, 2013
512013
Relation-Changing Modal Logics
R Fervari
FaMAF, Universidad Nacional de Córdoba, 2014
342014
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
222018
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
152016
Logics with Copy and Remove
C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber
152014
Tableaux for relation-changing modal logics
C Areces, R Fervari, G Hoffmann
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013
152013
Bisimulations for Knowing How Logics
R Fervari, FR Velázquez-Quesada, Y Wang
The Review of Symbolic Logic, 1-37, 2021
122021
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
122019
Axiomatising logics with separating conjunction and modalities
S Demri, R Fervari, A Mansutti
European Conference on Logics in Artificial Intelligence, 692-708, 2019
122019
On the complexity of modal separation logics
S Demri, R Fervari
Advances in Modal Logic, Bern, 2018, 2018
122018
Undecidability of relation-changing modal logics
C Areces, R Fervari, G Hoffmann, M Martel
Dynamic Logic. New Trends and Applications: First International Workshop …, 2018
122018
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
102018
The power of modal separation logics
S Demri, R Fervari
Journal of Logic and Computation 29 (8), 1139-1184, 2019
92019
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
92017
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
72021
Hilbert-style axiomatization for hybrid XPath with data
C Areces, R Fervari
European Conference on Logics in Artificial Intelligence, 34-48, 2016
72016
The system can't perform the operation now. Try again later.
Articles 1–20