Guillaume Hoffmann

16 papers A 1B 1C 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2023 B conf
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.
TABLEAUX
Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann
2019 A conf
A Tableaux Calculus for Default Intuitionistic Logic.
CADE
Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
2018 J jnl
Satisfiability for relation-changing logics.
J. Log. Comput.
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2017 — conf
Undecidability of Relation-Changing Modal Logics.
DALI@TABLEAUX
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2016 — conf
Relation-Changing Logics as Fragments of Hybrid Logics.
GandALF
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2015 J jnl
Relation-changing modal operators.
Log. J. IGPL
Carlos Areces, Raul Fervari, Guillaume Hoffmann
2015 J jnl
Undecidability of a Very Simple Modal Logic with Binding.
CoRR
Guillaume Hoffmann
2014 J jnl
Swap logic.
Log. J. IGPL
Carlos Areces, Raul Fervari, Guillaume Hoffmann
2013 — conf
Tableaux for Relation-Changing Modal Logics.
FroCos
Carlos Areces, Raul Fervari, Guillaume Hoffmann
2012 C conf
Moving Arrows and Four Model Checking Results.
WoLLIC
Carlos Areces, Raul Fervari, Guillaume Hoffmann
2012 — conf
Symmetries in Modal Logics
LSFA
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
2010 J jnl
Lightweight hybrid tableaux.
J. Appl. Log.
Guillaume Hoffmann
2010 C conf
Modal Logics with Counting.
WoLLIC
Carlos Areces, Guillaume Hoffmann, Alexandre Denis
2010 — —
Tâches de raisonnement en logiques hybrides. (Reasoning Tasks for Hybrid Logics).
Guillaume Hoffmann
2007 — conf
Experiments in Theorem Proving for Topological Hybrid Logic.
M4M
Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn
2007 — conf
HTab: a Terminating Tableaux System for Hybrid Logic.
M4M
Guillaume Hoffmann, Carlos Areces