Guillaume Aucher

Available identifiers

zbMath Open aucher.guillaumeMaRDI QIDQ497426

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5883175	2023-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q5869635	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5869717	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guillaume Aucher