HTab: a Terminating Tableaux System for Hybrid Logic. - Guillaume Hoffmann 001; Carlos Areces (M4M, 2007)

Experiments in Theorem Proving for Topological Hybrid Logic. - Dmitry Sustretov; Guillaume Hoffmann 001; Carlos Areces; Patrick Blackburn (M4M, 2007)

Modal Logics with Counting. - Carlos Areces; Guillaume Hoffmann 001; Alexandre Denis 002 (WoLLIC, 2010)

Lightweight hybrid tableaux. - Guillaume Hoffmann 001 (J. Appl. Log., 2010)

Tâches de raisonnement en logiques hybrides. (Reasoning Tasks for Hybrid Logics). - Guillaume Hoffmann 001 (2010)

Moving Arrows and Four Model Checking Results. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (WoLLIC, 2012)

Symmetries in Modal Logics - Carlos Areces; Guillaume Hoffmann 001; Ezequiel Orbe (LSFA, 2012)

Tableaux for Relation-Changing Modal Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (FroCos, 2013)

Swap logic. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (Log. J. IGPL, 2014)

Undecidability of a Very Simple Modal Logic with Binding. - Guillaume Hoffmann 001 (CoRR, 2015)

Relation-changing modal operators. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (Log. J. IGPL, 2015)

Relation-Changing Logics as Fragments of Hybrid Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (GandALF, 2016)

Undecidability of Relation-Changing Modal Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (DALI@TABLEAUX, 2017)

Satisfiability for relation-changing logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (J. Log. Comput., 2018)

A Tableaux Calculus for Default Intuitionistic Logic. - Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001; Carlos Areces; Pablo F. Castro (CADE, 2019)

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. - Carlos Areces; Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001 (TABLEAUX, 2023)