Raul Fervari

Raul Fervari

Universidad Nacional de Córdoba - Córdoba / Argentina
Others
AD Scientific Index ID: 852264
National University of Córdoba
person_outline Raul Fervari's MOST POPULAR ARTICLES
1-) Relation-Changing Modal OperatorsC Areces, R Fervari, G HoffmannLogic Journal of IGPL, jzv020, 2015672015
2-) Strategically Knowing HowR Fervari, A Herzig, Y Li, Y WangProceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017542017
3-) Moving arrows and four model checking resultsC Areces, R Fervari, G HoffmannInternational Workshop on Logic, Language, Information, and Computation, 142-153, 2012522012
4-) Swap LogicC Areces, R Fervari, G HoffmannThe Logic Journal of IGPL, 2013522013
5-) Relation-Changing Modal LogicsR FervariFaMAF, Universidad Nacional de Córdoba, 2014352014