Scholar
Raul Fervari
Google Scholar ID: 3dg1ASwAAAAJ
FAMAF, Universidad Nacional de Córdoba and CONICET
Modal Logics
Model Updates
Computational Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
345
H-index
10
i10-index
12
Publications
20
Co-authors
23
list available
Contact
No contact links provided.
Publications
5 items
Sequent Calculi for Data-Aware Modal Logics
2025
Cited
0
Sequent Calculi for Data-Aware Modal Logics
2025
Cited
0
Deontic Action Logics: A Modular Algebraic Perspective
2025
Cited
0
Data-Aware Hybrid Tableaux
arXiv.org · 2024
Cited
0
Beyond the Spell: A Dynamic Logic Analysis of Misdirection
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
23 total
Carlos Areces
Universidad Nacional de Córdoba - CONICET
Co-author 2
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
Co-author 4
Co-author 5
Pablo Castro
Universidad Nacional de Rio Cuarto, Argentina
Alessio Mansutti
IMDEA Software Institute
Hans van Ditmarsch
CNRS
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up