Raul Fervari
Raul Fervari
Associate Professor, Facultad de Matemática, Astronomía, Física y Computación, Universidad Nacional de Córdoba (FAMAF-UNC)
Joined
July 2019
Names
Emails
****@unc.edu.ar (Confirmed)
Personal Links
Career & Education History
Associate Professor
Facultad de Matemática, Astronomía, Física y Computación, Universidad Nacional de Córdoba (FAMAF-UNC) (famaf.unc)
2022 – Present
Advisors, Relations & Conflicts
Expertise
modal logic
, complexity
, expressivity
Present
epistemic logic
, axiomatization
, complexity
Present
knowledge representation
, reasoning
Present
dynamic logics
, decidability
, complexity
Present
Publications
Co-Authors
- Alessio Mansutti
- Andreas Herzig
- Andrés R. Saravia
- Bartosz Bednarczyk
- Bastien Maubert
- Benjamin Icard
- Beta Ziliani
- Carlos Areces
- Danae Dutto
- Daniel Figueiredo
- Fernando R. Velázquez-Quesada
- Francisco Trucco
- François Schwarzentruber
- Guillaume Hoffmann
- Hans van Ditmarsch
- Manuel A. Martins
- María Emilia Descotte
- Mauricio Martel
- Nahuel Seiler
- Pablo F. Castro
- Santiago Figueira
- Sergio Abriola
- Stéphane Demri
- Valentin Cassano
- Yanjing Wang