The following pages link to Guillaume Aucher (Q497426):
Displaying 29 items.
- Intricate axioms as interaction axioms (Q497427) (← links)
- An internal version of epistemic logic (Q965903) (← links)
- Expedition in the update universe (Q2055745) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents (Q2825404) (← links)
- Private announcement and belief expansion: an internal perspective (Q2893319) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- Displaying updates in logic (Q2957971) (← links)
- Dynamic epistemic logic in update logic (Q2957972) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
- Consistency Preservation and Crazy Formulas in BMS (Q3532455) (← links)
- Generalizing AGM to a multi-agent setting (Q3580815) (← links)
- Interpreting an action from what we perceive and what we expect (Q3647262) (← links)
- Dynamic Context Logic (Q3655214) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- Modal logics of sabotage revisited (Q4612406) (← links)
- Privacy Policies with Modal Logic: The Dynamic Turn (Q4931575) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- (Q4994896) (← links)
- Corrigendum to: Displaying updates in logic (Q5140313) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Intelligent Agents and Multi-Agent Systems (Q5316670) (← links)
- (Q5869635) (← links)
- (Q5869717) (← links)
- (Q5883175) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)
