| Relation-changing modal operators C Areces, R Fervari, G Hoffmann Logic Journal of the IGPL 23 (4), 601-627, 2015 | 50 | 2015 |
| Htab: a terminating tableaux system for hybrid logic G Hoffmann, C Areces Electronic Notes in Theoretical Computer Science 231, 3-19, 2009 | 47 | 2009 |
| Moving arrows and four model checking results C Areces, R Fervari, G Hoffmann International Workshop on Logic, Language, Information, and Computation, 142-153, 2012 | 42 | 2012 |
| Swap logic C Areces, R Fervari, G Hoffmann Logic Journal of IGPL 22 (2), 309-332, 2014 | 40 | 2014 |
| Modal logics with counting C Areces, G Hoffmann, A Denis International Workshop on Logic, Language, Information, and Computation, 98-109, 2010 | 26 | 2010 |
| Tableaux for relation-changing modal logics C Areces, R Fervari, G Hoffmann International Symposium on Frontiers of Combining Systems, 263-278, 2013 | 14 | 2013 |
| Satisfiability for relation-changing logics C Areces, R Fervari, G Hoffmann, M Martel Journal of Logic and Computation 28 (7), 1443-1470, 2018 | 11 | 2018 |
| Undecidability of relation-changing modal logics C Areces, R Fervari, G Hoffmann, M Martel International Workshop on Dynamic Logic, 1-16, 2017 | 8 | 2017 |
| Lightweight hybrid tableaux G Hoffmann Journal of Applied Logic 8 (4), 397-408, 2010 | 8 | 2010 |
| Relation-changing logics as fragments of hybrid logics C Areces, R Fervari, G Hoffmann, M Martel arXiv preprint arXiv:1609.04086, 2016 | 7 | 2016 |
| Tâches de raisonnement en logiques hybrides G Hoffmann Nancy 1, 2010 | 7 | 2010 |
| Inference tools for hybrid logics (InToHyLo) C Areces, P Blackburn, D Gorın, G Hoffmann Manuscript, LORIA, available from http://www. loria. fr/~ areces, 2007 | 4 | 2007 |
| Symmetries in modal logics: A coinductive approach C Areces, G Hoffmann, E Orbe Proc. of the 7th Workshop on Logical and Semantic Frameworks, with …, 2012 | 2 | 2012 |
| Undecidability of a Very Simple Modal Logic with Binding G Hoffmann arXiv preprint arXiv:1508.03630, 2015 | 1 | 2015 |
| Experiments in Theorem Proving for Topological Hybrid Logic D Sustretov, G Hoffmann, C Areces, P Blackburn Electronic Notes in Theoretical Computer Science 231, 309-321, 2009 | 1 | 2009 |
| A Tableaux Calculus for Default Intuitionistic Logic V Cassano, R Fervari, G Hoffmann, C Areces, PF Castro International Conference on Automated Deduction, 161-177, 2019 | | 2019 |
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
