Guillaume Hoffmann
From MaRDI portal
Person:631085
Available identifiers
zbMath Open hoffmann.guillaumeMaRDI QIDQ631085
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 |
| https://portal.mardi4nfdi.de/entity/Q5015266 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992392 | 2021-06-08 | Paper |
| A tableaux calculus for default intuitionistic logic | 2020-03-10 | Paper |
| Satisfiability for relation-changing logics | 2019-01-31 | Paper |
| Relation-changing modal operators: Fig. 1. | 2019-01-08 | Paper |
| Undecidability of relation-changing modal logics | 2018-04-12 | Paper |
| HTab: a Terminating Tableaux System for Hybrid Logic | 2015-03-23 | Paper |
| Experiments in Theorem Proving for Topological Hybrid Logic | 2015-03-23 | Paper |
| Swap logic | 2015-02-27 | Paper |
| Tableaux for relation-changing modal logics | 2013-09-20 | Paper |
| Moving Arrows and Four Model Checking Results | 2012-09-21 | Paper |
| Lightweight hybrid tableaux | 2011-03-22 | Paper |
| Modal Logics with Counting | 2010-09-29 | Paper |
Research outcomes over time
This page was built for person: Guillaume Hoffmann