Guillaume Aucher

Available identifiers

zbMath Open aucher.guillaumeMaRDI QIDQ497426

List of research outcomes

Publication	Date of Publication	Type
A van Benthem theorem for atomic and molecular logics	2025-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q5883175	2023-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q5869717	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5869635	2022-09-28	Paper
On the universality of atomic and molecular logics via protologics	2022-09-01	Paper
Expedition in the update universe	2021-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4994896	2021-06-22	Paper
Corrigendum to: Displaying updates in logic	2020-12-15	Paper
Modal logics of sabotage revisited	2019-01-31	Paper
DEL-sequents for regression and epistemic planning	2018-08-28	Paper
Displaying updates in logic	2017-01-31	Paper
Dynamic epistemic logic in update logic	2017-01-31	Paper
Tableau method and NEXPTIME-completeness of DEL-sequents	2016-10-07	Paper
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects	2015-12-17	Paper
Intricate axioms as interaction axioms	2015-09-24	Paper
Dynamic Epistemic Logic as a Substructural Logic	2015-05-11	Paper
Global and Local Graph Modifiers	2015-03-23	Paper
Generalized DEL-Sequents	2012-09-21	Paper
Exploring the Power of Converse Events	2012-08-23	Paper
DEL-sequents for progression	2012-07-17	Paper
Private announcement and belief expansion: an internal perspective	2012-06-20	Paper
Privacy Policies with Modal Logic: The Dynamic Turn	2010-09-29	Paper
Generalizing AGM to a multi-agent setting	2010-08-13	Paper
An internal version of epistemic logic	2010-04-26	Paper
Dynamic Context Logic	2010-01-07	Paper
Interpreting an action from what we perceive and what we expect	2009-11-30	Paper
Consistency Preservation and Crazy Formulas in BMS	2008-10-27	Paper
From DEL to EDL: Exploring the Power of Converse Events	2008-09-16	Paper
Intelligent Agents and Multi-Agent Systems	2005-09-14	Paper

Research outcomes over time

This page was built for person: Guillaume Aucher