Guillaume Hoffmann

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 5

Top Topics

Intuitionistic Logic

Sequent Calculus

Top Venues

J. Log. Comput.

Publications

Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. TABLEAUX (2023)
Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
A Tableaux Calculus for Default Intuitionistic Logic. CADE (2019)
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
Satisfiability for relation-changing logics. J. Log. Comput. 28 (7) (2018)
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
Undecidability of Relation-Changing Modal Logics. DALI@TABLEAUX (2017)
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
Relation-Changing Logics as Fragments of Hybrid Logics. GandALF (2016)
Carlos Areces, Raul Fervari, Guillaume Hoffmann
Relation-changing modal operators. Log. J. IGPL 23 (4) (2015)
Guillaume Hoffmann
Undecidability of a Very Simple Modal Logic with Binding. CoRR (2015)
Carlos Areces, Raul Fervari, Guillaume Hoffmann
Swap logic. Log. J. IGPL 22 (2) (2014)
Carlos Areces, Raul Fervari, Guillaume Hoffmann
Tableaux for Relation-Changing Modal Logics. FroCos (2013)
Carlos Areces, Raul Fervari, Guillaume Hoffmann
Moving Arrows and Four Model Checking Results. WoLLIC (2012)
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
Symmetries in Modal Logics LSFA (2012)
Carlos Areces, Guillaume Hoffmann, Alexandre Denis
Modal Logics with Counting. WoLLIC (2010)
Guillaume Hoffmann
Lightweight hybrid tableaux. J. Appl. Log. 8 (4) (2010)
Guillaume Hoffmann, Carlos Areces
HTab: a Terminating Tableaux System for Hybrid Logic. Electron. Notes Theor. Comput. Sci. 231 (2009)
Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn
Experiments in Theorem Proving for Topological Hybrid Logic. Electron. Notes Theor. Comput. Sci. 231 (2009)