Edit Profile Aucher, Guillaume Compute Distance To: Compute Author ID: aucher.guillaume Published as: Aucher, Guillaume Documents Indexed: 22 Publications since 2005 all top 5 Co-Authors 14 single-authored 3 Grossi, Davide 3 Herzig, Andreas 2 Maubert, Bastien 2 Schwarzentruber, François 2 van Benthem, Johan F. A. K. 1 Boella, Guido 1 Lorini, Emiliano 1 van der Torre, Leendert W. N. Serials 5 Journal of Logic and Computation 3 Journal of Applied Non-Classical Logics 2 Studia Logica 1 Logic Journal of the IGPL Fields 21 Mathematical logic and foundations (03-XX) 12 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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.68091Aucher, Guillaume 19 2005 An internal version of epistemic logic. Zbl 1200.03016Aucher, Guillaume 9 2010 Consistency preservation and crazy formulas in BMS. Zbl 1178.68552Aucher, Guillaume 7 2008 Global and local graph modifiers. Zbl 1347.03020Aucher, Guillaume 5 2009 DEL-sequents for regression and epistemic planning. Zbl 1398.03068Aucher, Guillaume 4 2012 Tableau method and NEXPTIME-completeness of DEL-sequents. Zbl 1347.03021Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François 4 2011 Generalizing AGM to a multi-agent setting. Zbl 1203.03022Aucher, Guillaume 4 2010 From DEL to EDL: Exploring the power of converse events. Zbl 1148.68477Aucher, Guillaume; Herzig, Andreas 4 2007 DEL-sequents for progression. Zbl 1242.03034Aucher, Guillaume 3 2011 Interpreting an action from what we perceive and what we expect. Zbl 1186.03026Aucher, Guillaume 3 2007 Sabotage modal logic: some model and proof theoretic aspects. Zbl 06521563Aucher, Guillaume; van Benthem, Johan; Grossi, Davide 2 2015 Dynamic epistemic logic as a substructural logic. Zbl 1354.03011Aucher, Guillaume 2 2014 Generalized DEL-sequents. Zbl 1361.68217Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François 2 2012 Private announcement and belief expansion: an internal perspective. Zbl 1266.03025Aucher, Guillaume 2 2012 Dynamic context logic. Zbl 1196.03030Aucher, Guillaume; Grossi, Davide; Herzig, Andreas; Lorini, Emiliano 2 2009 Intricate axioms as interaction axioms. Zbl 1368.03022Aucher, Guillaume 1 2015 Exploring the power of converse events. Zbl 1258.03021Aucher, Guillaume; Herzig, Andreas 1 2011 Privacy policies with modal logic: the dynamic turn. Zbl 1250.68241Aucher, Guillaume; Boella, Guido; van der Torre, Leendert 1 2010 Sabotage modal logic: some model and proof theoretic aspects. Zbl 06521563Aucher, Guillaume; van Benthem, Johan; Grossi, Davide 2 2015 Intricate axioms as interaction axioms. Zbl 1368.03022Aucher, Guillaume 1 2015 Dynamic epistemic logic as a substructural logic. Zbl 1354.03011Aucher, Guillaume 2 2014 DEL-sequents for regression and epistemic planning. Zbl 1398.03068Aucher, Guillaume 4 2012 Generalized DEL-sequents. Zbl 1361.68217Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François 2 2012 Private announcement and belief expansion: an internal perspective. Zbl 1266.03025Aucher, Guillaume 2 2012 Tableau method and NEXPTIME-completeness of DEL-sequents. Zbl 1347.03021Aucher, Guillaume; Maubert, Bastien; Schwarzentruber, François 4 2011 DEL-sequents for progression. Zbl 1242.03034Aucher, Guillaume 3 2011 Exploring the power of converse events. Zbl 1258.03021Aucher, Guillaume; Herzig, Andreas 1 2011 An internal version of epistemic logic. Zbl 1200.03016Aucher, Guillaume 9 2010 Generalizing AGM to a multi-agent setting. Zbl 1203.03022Aucher, Guillaume 4 2010 Privacy policies with modal logic: the dynamic turn. Zbl 1250.68241Aucher, Guillaume; Boella, Guido; van der Torre, Leendert 1 2010 Global and local graph modifiers. Zbl 1347.03020Aucher, Guillaume 5 2009 Dynamic context logic. Zbl 1196.03030Aucher, Guillaume; Grossi, Davide; Herzig, Andreas; Lorini, Emiliano 2 2009 Consistency preservation and crazy formulas in BMS. Zbl 1178.68552Aucher, Guillaume 7 2008 From DEL to EDL: Exploring the power of converse events. Zbl 1148.68477Aucher, Guillaume; Herzig, Andreas 4 2007 Interpreting an action from what we perceive and what we expect. Zbl 1186.03026Aucher, Guillaume 3 2007 A combined system for update logic and belief revision. Zbl 1116.68091Aucher, Guillaume 19 2005 all cited Publications top 5 cited Publications 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 all top 5 Cited in 12 Serials 9 Synthese 8 Journal of Applied Non-Classical Logics 4 Studia Logica 4 Information and Computation 3 Artificial Intelligence 3 Journal of Philosophical Logic 3 Journal of Logic, Language and Information 3 The Review of Symbolic Logic 2 Journal of Applied Logic 1 Journal of Mathematical Economics 1 International Journal of Approximate Reasoning 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 52 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year