Obserwuj
Raul Fervari
Raul Fervari
FAMAF, Universidad Nacional de Córdoba and CONICET
Zweryfikowany adres z unc.edu.ar - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Relation-Changing Modal Operators
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL, jzv020, 2015
712015
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
International Workshop on Logic, Language, Information, and Computation, 142-153, 2012
502012
Strategically Knowing How
R Fervari, A Herzig, Y Li, Y Wang
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
472017
Swap Logic
C Areces, R Fervari, G Hoffmann
The Logic Journal of IGPL, 2013
472013
Relation-Changing Modal Logics
R Fervari
FaMAF, Universidad Nacional de Córdoba, 2014
312014
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
202018
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
132019
Axiomatising logics with separating conjunction and modalities
S Demri, R Fervari, A Mansutti
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
132019
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
132016
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
112018
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
Bisimulations for Knowing How Logics
R Fervari, FR Velázquez-Quesada, Y Wang
The Review of Symbolic Logic, 1-37, 2021
82021
Hilbert-style axiomatization for hybrid XPath with data
C Areces, R Fervari
Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016
82016
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
72020
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20