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
542015
Htab: a terminating tableaux system for hybrid logic
G Hoffmann, C Areces
Electronic Notes in Theoretical Computer Science 231, 3-19, 2009
482009
Swap logic
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL 22 (2), 309-332, 2014
432014
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
International Workshop on Logic, Language, Information, and Computation, 142-153, 2012
432012
Modal logics with counting
C Areces, G Hoffmann, A Denis
International Workshop on Logic, Language, Information, and Computation, 98-109, 2010
262010
Tableaux for relation-changing modal logics
C Areces, R Fervari, G Hoffmann
International Symposium on Frontiers of Combining Systems, 263-278, 2013
152013
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
122018
Undecidability of relation-changing modal logics
C Areces, R Fervari, G Hoffmann, M Martel
International Workshop on Dynamic Logic, 1-16, 2017
102017
Lightweight hybrid tableaux
G Hoffmann
Journal of Applied Logic 8 (4), 397-408, 2010
82010
Relation-changing logics as fragments of hybrid logics
C Areces, R Fervari, G Hoffmann, M Martel
arXiv preprint arXiv:1609.04086, 2016
72016
Tâches de raisonnement en logiques hybrides
G Hoffmann
Nancy 1, 2010
72010
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
52007
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
Undecidability of a Very Simple Modal Logic with Binding
G Hoffmann
arXiv preprint arXiv:1508.03630, 2015
12015
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
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
HTab: a Terminating Tableaux System for Hybrid Logic
C Areces, G Hoffmann
The system can't perform the operation now. Try again later.
Articles 1–17