×

zbMATH — the first resource for mathematics

Aucher, Guillaume

Compute Distance To:
Author ID: aucher.guillaume Recent zbMATH articles by "Aucher, Guillaume"
Published as: Aucher, Guillaume
Documents Indexed: 22 Publications since 2005

Publications by Year

Citations contained in zbMATH

18 Publications have been cited 75 times in 58 Documents Cited by Year
A combined system for update logic and belief revision. Zbl 1116.68091
Aucher, Guillaume
19
2005
An internal version of epistemic logic. Zbl 1200.03016
Aucher, Guillaume
9
2010
Consistency preservation and crazy formulas in BMS. Zbl 1178.68552
Aucher, Guillaume
7
2008
Global and local graph modifiers. Zbl 1347.03020
Aucher, Guillaume
5
2009
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
4
2012
Tableau method and NEXPTIME-completeness of DEL-sequents. Zbl 1347.03021
Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François
4
2011
Generalizing AGM to a multi-agent setting. Zbl 1203.03022
Aucher, Guillaume
4
2010
From DEL to EDL: Exploring the power of converse events. Zbl 1148.68477
Aucher, Guillaume; Herzig, Andreas
4
2007
DEL-sequents for progression. Zbl 1242.03034
Aucher, Guillaume
3
2011
Interpreting an action from what we perceive and what we expect. Zbl 1186.03026
Aucher, Guillaume
3
2007
Sabotage modal logic: some model and proof theoretic aspects. Zbl 06521563
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
2
2015
Dynamic epistemic logic as a substructural logic. Zbl 1354.03011
Aucher, Guillaume
2
2014
Generalized DEL-sequents. Zbl 1361.68217
Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François
2
2012
Private announcement and belief expansion: an internal perspective. Zbl 1266.03025
Aucher, Guillaume
2
2012
Dynamic context logic. Zbl 1196.03030
Aucher, Guillaume; Grossi, Davide; Herzig, Andreas; Lorini, Emiliano
2
2009
Intricate axioms as interaction axioms. Zbl 1368.03022
Aucher, Guillaume
1
2015
Exploring the power of converse events. Zbl 1258.03021
Aucher, Guillaume; Herzig, Andreas
1
2011
Privacy policies with modal logic: the dynamic turn. Zbl 1250.68241
Aucher, Guillaume; Boella, Guido; van der Torre, Leendert
1
2010
Sabotage modal logic: some model and proof theoretic aspects. Zbl 06521563
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
2
2015
Intricate axioms as interaction axioms. Zbl 1368.03022
Aucher, Guillaume
1
2015
Dynamic epistemic logic as a substructural logic. Zbl 1354.03011
Aucher, Guillaume
2
2014
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
4
2012
Generalized DEL-sequents. Zbl 1361.68217
Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François
2
2012
Private announcement and belief expansion: an internal perspective. Zbl 1266.03025
Aucher, Guillaume
2
2012
Tableau method and NEXPTIME-completeness of DEL-sequents. Zbl 1347.03021
Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François
4
2011
DEL-sequents for progression. Zbl 1242.03034
Aucher, Guillaume
3
2011
Exploring the power of converse events. Zbl 1258.03021
Aucher, Guillaume; Herzig, Andreas
1
2011
An internal version of epistemic logic. Zbl 1200.03016
Aucher, Guillaume
9
2010
Generalizing AGM to a multi-agent setting. Zbl 1203.03022
Aucher, Guillaume
4
2010
Privacy policies with modal logic: the dynamic turn. Zbl 1250.68241
Aucher, Guillaume; Boella, Guido; van der Torre, Leendert
1
2010
Global and local graph modifiers. Zbl 1347.03020
Aucher, Guillaume
5
2009
Dynamic context logic. Zbl 1196.03030
Aucher, Guillaume; Grossi, Davide; Herzig, Andreas; Lorini, Emiliano
2
2009
Consistency preservation and crazy formulas in BMS. Zbl 1178.68552
Aucher, Guillaume
7
2008
From DEL to EDL: Exploring the power of converse events. Zbl 1148.68477
Aucher, Guillaume; Herzig, Andreas
4
2007
Interpreting an action from what we perceive and what we expect. Zbl 1186.03026
Aucher, Guillaume
3
2007
A combined system for update logic and belief revision. Zbl 1116.68091
Aucher, Guillaume
19
2005
all top 5

Cited by 80 Authors

13 van Ditmarsch, Hans Pieter
6 Aucher, Guillaume
5 Bolander, Thomas
4 Baltag, Alexandru
4 Kooi, Barteld Pieter
4 Lorini, Emiliano
4 Smets, Sonja J. L.
3 Andersen, Mikkel Birkegaard
3 Herzig, Andreas
3 Schwarzentruber, François
3 van Benthem, Johan F. A. K.
2 Fervari, Raul
2 Grossi, Davide
2 Jensen, Martin Holm
2 Lang, Jérôme
2 Ma, Minghui
2 Marquis, Pierre
2 Szymanik, Jakub
2 van der Hoek, Wiebe
2 Wang, Yanjing
1 Achen, Andreas
1 Areces, Carlos
1 Balbiani, Philippe
1 Banerjee, Mohua
1 Billot, Antoine-Bertrand
1 Bozzelli, Laura
1 Camacho, Franklin
1 Cao, Qinxiang
1 Caridroit, Thomas
1 Cordón-Franco, Andrés
1 de Lima, Tiago
1 De Vuyst, Jonas
1 Dégremont, Cédric
1 Demey, Lorenz
1 Dubois, Didier
1 Fermé, Eduardo Leopoldo
1 French, Tim
1 Gierasimczuk, Nina
1 Hales, James
1 Haney, Ryuichi Sebastian
1 Hansson, Sven Ove
1 Konieczny, Sébastien
1 Kuijer, Louwe Bouke
1 Kurzen, Lena
1 Labuschagne, Willem Adrian
1 Lakemeyer, Gerhard
1 Laverny, Noël
1 Li, Yanjun
1 Liberman, Andrés Occhipinti
1 Liu, Hu
1 Löwe, Benedikt
1 Maubert, Bastien
1 Motoura, Shota
1 Nepomuceno, Angel
1 Nomura, Shoshin
1 Ono, Hiroakira
1 Pacuit, Eric
1 Pagnucco, Maurice
1 Panangaden, Prakash
1 Pardo, Pere
1 Perrussel, Laurent
1 Pinchinat, Sophie
1 Pino Pérez, Ramón
1 Ren, Yuan
1 Rendsvig, Rasmus Kræmmer
1 Renne, Bryan
1 Sadrzadeh, Mehrnoosh
1 Sano, Katsuhiko
1 Schwering, Christoph
1 Seban, Pablo
1 Sedlár, Igor Igor
1 Thévenin, Jean-Marc
1 van de Pol, Iris
1 van Rooij, Iris
1 Velázquez-Quesada, Fernando Raymundo
1 Vergnaud, Jean-Christophe
1 Walliser, Bernard
1 Wang, Shanxia
1 Wen, Xuefeng
1 Witzel, Andreas

Citations by Year