Articles with public access mandates - Raul FervariLearn more
Available somewhere: 29
Relation-Changing Modal Operators
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL, jzv020, 2015
Mandates: Government of Argentina
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
Mandates: German Research Foundation, Government of Argentina
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
Mandates: Government of Argentina
On the complexity of modal separation logics
S Demri, R Fervari
Advances in Modal Logic, Bern, 2018, 2018
Mandates: Government of Argentina
Bisimulations for Knowing How Logics
R Fervari, FR Velázquez-Quesada, Y Wang
The Review of Symbolic Logic, 1-37, 2021
Mandates: Government of Argentina
Axiomatising logics with separating conjunction and modalities
S Demri, R Fervari, A Mansutti
European Conference on Logics in Artificial Intelligence, 692-708, 2019
Mandates: Government of Argentina
Undecidability of relation-changing modal logics
C Areces, R Fervari, G Hoffmann, M Martel
Dynamic Logic. New Trends and Applications: First International Workshop …, 2018
Mandates: European Commission, Government of Argentina
Dynamic epistemic logics of introspection
R Fervari, FR Velázquez-Quesada
Dynamic Logic. New Trends and Applications: First International Workshop …, 2018
Mandates: European Commission, Government of Argentina
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
Mandates: Government of Argentina
The power of modal separation logics
S Demri, R Fervari
Journal of Logic and Computation 29 (8), 1139-1184, 2019
Mandates: Government of Argentina
Hilbert-style axiomatization for hybrid XPath with data
C Areces, R Fervari
European Conference on Logics in Artificial Intelligence, 34-48, 2016
Mandates: Government of Argentina
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
Mandates: European Commission, Government of Argentina
Axiomatizing Hybrid XPath with Data
C Areces, R Fervari
Logical Methods in Computer Science 17, 2021
Mandates: Government of Argentina
Tableaux for hybrid XPath with data
C Areces, R Fervari, N Seiler
EPIA Conference on Artificial Intelligence, 611-623, 2017
Mandates: European Commission, Government of Argentina
Model-checking for ability-based logics with constrained plans
S Demri, R Fervari
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6305-6312, 2023
Mandates: Government of Argentina
Mechanizing bisimulation theorems for relation-changing logics in coq
R Fervari, F Trucco, B Ziliani
Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020
Mandates: Government of Argentina
A Deontic Logic of Knowingly Complying.
C Areces, V Cassano, PF Castro, R Fervari, AR Saravia
AAMAS, 364-372, 2023
Mandates: European Commission, Government of Argentina
Verification of dynamic bisimulation theorems in Coq
R Fervari, F Trucco, B Ziliani
Journal of Logical and Algebraic Methods in Programming 120, 100642, 2021
Mandates: Government of Argentina
Default modal systems as algebraic updates
V Cassano, R Fervari, C Areces, PF Castro
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
Mandates: Government of Argentina
A Tableaux Calculus for Default Intuitionistic Logic
V Cassano, R Fervari, G Hoffmann, C Areces, PF Castro
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
Mandates: European Commission, Government of Argentina
Publication and funding information is determined automatically by a computer program