Follow
Guillaume Hoffmann
Guillaume Hoffmann
Verified email at conicet.gov.ar - Homepage
Title
Cited by
Cited by
Year
Relation-changing modal operators
C Areces, R Fervari, G Hoffmann
Logic Journal of the IGPL 23 (4), 601-627, 2015
752015
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
Logic, Language, Information and Computation: 19th International Workshop …, 2012
542012
Swap logic
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL 22 (2), 309-332, 2014
502014
Htab: a terminating tableaux system for hybrid logic
G Hoffmann, C Areces
Electronic Notes in Theoretical Computer Science 231, 3-19, 2009
492009
Modal logics with counting
C Areces, G Hoffmann, A Denis
Logic, Language, Information and Computation: 17th International Workshop …, 2010
292010
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
232018
Relation-changing logics as fragments of hybrid logics
C Areces, R Fervari, G Hoffmann, M Martel
arXiv preprint arXiv:1609.04086, 2016
152016
Tableaux for relation-changing modal logics
C Areces, R Fervari, G Hoffmann
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013
142013
Undecidability of relation-changing modal logics
C Areces, R Fervari, G Hoffmann, M Martel
Dynamic Logic. New Trends and Applications: First International Workshop …, 2018
132018
Lightweight hybrid tableaux
G Hoffmann
Journal of Applied Logic 8 (4), 397-408, 2010
102010
Tâches de raisonnement en logiques hybrides
G Hoffmann
Université Henri Poincaré-Nancy 1, 2010
62010
Undecidability of a very simple modal logic with binding
G Hoffmann
arXiv preprint arXiv:1508.03630, 2015
42015
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
42007
A tableaux calculus for default intuitionistic logic
V Cassano, R Fervari, G Hoffmann, C Areces, PF Castro
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
22019
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
22012
Reasoning Tasks for Hybrid Logics
G Hoffmann
HAL 2010, 2010
22010
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
C Areces, V Cassano, R Fervari, G Hoffmann
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
12023
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
12009
Uso de plataformas en línea para la enseñanza de la programación
G Hoffmann
2017
Reporte de experiencias con la plataforma de enseñanza de lenguajes de programación Mumuki en la Universidad Nacional de Córdoba y la Universidad Blas Pascal
L Benotti, G Hoffmann
2016
The system can't perform the operation now. Try again later.
Articles 1–20