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
812015
Strategically Knowing How
R Fervari, A Herzig, Y Li, Y Wang
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
612017
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
International Workshop on Logic, Language, Information, and Computation, 142-153, 2012
552012
Swap Logic
C Areces, R Fervari, G Hoffmann
The Logic Journal of IGPL, 2013
522013
Relation-Changing Modal Logics
R Fervari
FaMAF, Universidad Nacional de Córdoba, 2014
352014
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
232018
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
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
142019
On the complexity of modal separation logics
S Demri, R Fervari
Advances in Modal Logic, Bern, 2018, 2018
142018
Bisimulations for Knowing How Logics
R Fervari, FR Velázquez-Quesada, Y Wang
The Review of Symbolic Logic, 1-37, 2021
132021
Axiomatising logics with separating conjunction and modalities
S Demri, R Fervari, A Mansutti
European Conference on Logics in Artificial Intelligence, 692-708, 2019
132019
Undecidability of relation-changing modal logics
C Areces, R Fervari, G Hoffmann, M Martel
Dynamic Logic. New Trends and Applications: First International Workshop …, 2018
132018
The Modal Logic of Copy and Remove
C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber
Information and Computation, 0
13*
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
112017
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
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
82021
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
82020
The system can't perform the operation now. Try again later.
Articles 1–20