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
568
H-index
13
i10-index
20
Publications
20
Co-authors
23
list available
Publications
7 items
Basic Model Theory for Path Predicate Modal Logic
2026
Cited
0
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
Co-authors
13 total
Carlos Areces
Universidad Nacional de Córdoba - CONICET
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
Valentin Cassano
Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
Pablo Castro
Universidad Nacional de Rio Cuarto, Argentina
Alessio Mansutti
IMDEA Software Institute
Hans van Ditmarsch
CNRS
François Schwarzentruber
École Normale Supérieure de Lyon
Yanjing Wang (王彦晶)
Professor of Logic, Peking University
