Guillaume Hoffmann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
\textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics	2024-05-17	Paper
Relation-changing logics as fragments of hybrid logics	2021-12-07	Paper
Relation-changing logics as fragments of hybrid logics (available as arXiv preprint)	2021-12-07	Paper
Symmetries in modal logics	2021-06-08	Paper
A tableaux calculus for default intuitionistic logic	2020-03-10	Paper
Satisfiability for relation-changing logics Journal Of Logic And Computation	2019-01-31	Paper
Relation-changing modal operators Logic Journal of the IGPL	2019-01-08	Paper
Undecidability of relation-changing modal logics	2018-04-12	Paper
HTab: a terminating tableaux system for hybrid logic Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Experiments in theorem proving for topological hybrid logic Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Swap logic Logic Journal of the IGPL	2015-02-27	Paper
Tableaux for relation-changing modal logics Frontiers of Combining Systems	2013-09-20	Paper
Moving Arrows and Four Model Checking Results Logic, Language, Information and Computation	2012-09-21	Paper
Lightweight hybrid tableaux Journal of Applied Logic	2011-03-22	Paper
Modal Logics with Counting Logic, Language, Information and Computation	2010-09-29	Paper

Research outcomes over time

This page was built for person: Guillaume Hoffmann