8
Publications
175
Citations
8
H-Index
2015
Active since
Raul Fervari is an author at Universidad Nacional de Córdoba specializing in automated reasoning, engineering, and cognitive science.
Top concepts
Automated ReasoningEngineeringEpistemologyCognitive ScienceBusinessStrategySemanticsFormal MethodsDecision TheoryComputer Science
Publications per year
2015–2021
8
8
Relation-changing modal operators: Fig. 1.
Carlos Areces, Raul Fervari, Guillaume Hoffmann · Logic Journal of IGPL · 2015 · 65 citations · Full text
Raul Fervari, Andreas Herzig, Yanjun Li et al. · 2017 · 44 citations · Full text
Artificial Intelligence, Engineering, Model-based Reasoning +22
Raul Fervari, Andreas Herzig, Yanjun Li et al. · arXiv (Cornell University) · 2017 · 13 citations · Full text
Satisfiability for relation-changing logics
Carlos Areces, Raul Fervari, Guillaume Hoffmann et al. · Journal of Logic and Computation · 2018 · 13 citations · Full text
The modal logic of copy and remove
Carlos Areces, Hans van Ditmarsch, Raul Fervari et al. · Information and Computation · 2017 · 10 citations · Full text
Rows per page
1–5 of 8