Travelled to:1 × Austria
1 × Canada
Collaborated with:∅
Talks about:axiom (2) character (1) interact (1) epistem (1) updat (1) logic (1) dynam (1)
Person: Guillaume Aucher
DBLP: Aucher:Guillaume
Contributed to:
20142010Wrote 2 papers:
- KR-2014-Aucher #axiom #interactive
- Axioms .2 and .4 as Interaction Axioms (GA).
- KR-2010-Aucher #logic
- Characterizing Updates in Dynamic Epistemic Logic (GA).