Guillaume Hoffmann

According to our database, Guillaume Hoffmann authored at least 16 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.

Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2019

A Tableaux Calculus for Default Intuitionistic Logic.

Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Satisfiability for relation-changing logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

J. Log. Comput., 2018

2017

Undecidability of Relation-Changing Modal Logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2016

Relation-Changing Logics as Fragments of Hybrid Logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

Proceedings of the Seventh International Symposium on Games, 2016

2015

Relation-changing modal operators.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Log. J. IGPL, 2015

Undecidability of a Very Simple Modal Logic with Binding.

Guillaume Hoffmann

CoRR, 2015

2014

Swap logic.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Log. J. IGPL, 2014

2013

Tableaux for Relation-Changing Modal Logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Proceedings of the Frontiers of Combining Systems, 2013

2012

Symmetries in Modal Logics

Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Moving Arrows and Four Model Checking Results.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Proceedings of the Logic, Language, Information and Computation, 2012

2010

Tâches de raisonnement en logiques hybrides. (Reasoning Tasks for Hybrid Logics).

Guillaume Hoffmann

PhD thesis, 2010

Lightweight hybrid tableaux.

Guillaume Hoffmann

J. Appl. Log., 2010

Modal Logics with Counting.

Carlos Areces, Guillaume Hoffmann, Alexandre Denis

Proceedings of the Logic, 2010

2007

Experiments in Theorem Proving for Topological Hybrid Logic.

Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn

Proceedings of the 5th Workshop on Methods for Modalities, 2007

HTab: a Terminating Tableaux System for Hybrid Logic.

Guillaume Hoffmann, Carlos Areces

Proceedings of the 5th Workshop on Methods for Modalities, 2007