Raul Fervari
Raul Fervari
FaMAF, Universidad Nacional de Córdoba and CONICET
Zweryfikowany adres z famaf.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
492015
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
International Workshop on Logic, Language, Information, and Computation, 142-153, 2012
412012
Swap Logic
C Areces, R Fervari, G Hoffmann
The Logic Journal of IGPL, 2013
402013
Strategically Knowing How
R Fervari, A Herzig, Y Li, Y Wang
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
262017
Relation-Changing Modal Logics
R Fervari
FaMAF, Universidad Nacional de Córdoba, 2014
252014
Tableaux for relation-changing modal logics
C Areces, R Fervari, G Hoffmann
International Symposium on Frontiers of Combining Systems, 263-278, 2013
142013
Logics with Copy and Remove
C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber
132014
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
112018
On the complexity of modal separation logics
S Demri, R Fervari
102018
Axiomatising Logics with Separating Conjunction and Modalities
S Demri, R Fervari, A Mansutti
European Conference on Logics in Artificial Intelligence, 692-708, 2019
92019
The Modal Logic of Copy and Remove
C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber
Information and Computation, 0
9*
Undecidability of Relation-Changing Modal Logics
C Areces, R Fervari, G Hoffmann, M Martel
International Workshop on Dynamic Logic, 1-16, 2017
82017
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
82017
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
72016
Dynamic Epistemic Logics of Introspection
R Fervari, FR Velázquez-Quesada
International Workshop on Dynamic Logic, 82-97, 2017
62017
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
52019
Hilbert-Style Axiomatization for Hybrid XPath with Data
C Areces, R Fervari
European Conference on Logics in Artificial Intelligence, 34-48, 2016
52016
Interpolation and Beth Definability in Default Logics
V Cassano, R Fervari, C Areces, PF Castro
European Conference on Logics in Artificial Intelligence, 675-691, 2019
32019
Tableaux for Hybrid XPath with Data
C Areces, R Fervari, N Seiler
EPIA Conference on Artificial Intelligence, 611-623, 2017
32017
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
22020
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20