Raul Fervari
Raul Fervari
Geverifieerd e-mailadres voor famaf.unc.edu.ar - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Relation-Changing Modal Operators
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL, jzv020, 2015
482015
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
International Workshop on Logic, Language, Information, and Computation, 142-153, 2012
422012
Swap Logic
C Areces, R Fervari, G Hoffmann
The Logic Journal of IGPL, 2013
402013
Relation-Changing Modal Logics
R Fervari
FaMAF, Universidad Nacional de Córdoba, 2014
252014
Strategically Knowing How
R Fervari, A Herzig, Y Li, Y Wang
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
242017
Tableaux for relation-changing modal logics
C Areces, R Fervari, G Hoffmann
International Symposium on Frontiers of Combining Systems, 263-278, 2013
152013
Logics with Copy and Remove
C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber
132014
On the complexity of modal separation logics
S Demri, R Fervari
112018
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
102018
The Modal Logic of Copy and Remove
C Areces, H van Ditmarsch, R Fervari, F Schwarzentruber
Information and Computation, 0
9*
Axiomatising Logics with Separating Conjunction and Modalities
S Demri, R Fervari, A Mansutti
European Conference on Logics in Artificial Intelligence, 692-708, 2019
82019
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
Undecidability of Relation-Changing Modal Logics
C Areces, R Fervari, G Hoffmann, M Martel
International Workshop on Dynamic Logic, 1-16, 2017
72017
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
Hilbert-Style Axiomatization for Hybrid XPath with Data
C Areces, R Fervari
European Conference on Logics in Artificial Intelligence, 34-48, 2016
62016
Dynamic Epistemic Logics of Introspection
R Fervari, FR Velázquez-Quesada
International Workshop on Dynamic Logic, 82-97, 2017
52017
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
32019
Tableaux for Hybrid XPath with Data
C Areces, R Fervari, N Seiler
EPIA Conference on Artificial Intelligence, 611-623, 2017
32017
The power of modal separation logics
S Demri, R Fervari
Journal of Logic and Computation 29 (8), 1139-1184, 2019
22019
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
22019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20