Raul Fervari
Scholar

Raul Fervari

Google Scholar ID: 3dg1ASwAAAAJ
FAMAF, Universidad Nacional de Córdoba and CONICET
Modal LogicsModel UpdatesComputational Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
568
 
H-index
13
 
i10-index
20
 
Publications
20
 
Co-authors
23
list available
Contact
No contact links provided.
Publications
6 items
Satisfiability for Knowing How over Linear Plans is NP-complete
2026
Cited
0
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
Carlos Areces
Universidad Nacional de Córdoba - CONICET
Co-author 2
Co-author 2
Stéphane Demri
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
Valentin Cassano
Valentin Cassano
Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
Co-author 5
Co-author 5
Pablo Castro
Pablo Castro
Universidad Nacional de Rio Cuarto, Argentina
Alessio Mansutti
Alessio Mansutti
IMDEA Software Institute
Hans van Ditmarsch
Hans van Ditmarsch
CNRS