Publications


DBLP


MathSciNet


Google Scholar

Address:

Guillaume Aucher
IRISA, Campus de Beaulieu
263, Avenue du Général Leclerc
35042 Rennes Cédex
France

Tel.:   +33 (0) 2 99 84 22 60

Email:   firstname.lastname (at) irisa.fr
(or firstname.lastname (at) univ-rennes.fr)

I am an associate professor of computer science and mathematics at the University of Rennes, member of the IRISA laboratory and associate member of the IRMAR laboratory. I teach at the ISTIC.

Research Interests: logic, non-classical logics, proof theory, mathematical logic, artificial intelligence, knowledge representation and reasoning, epistemic logic, law and legal reasoning, deontic logic.

Selected Publications:

• Towards Universal Logic: Gaggle Logics
• Intricate Axioms as Interaction Axioms
• Supervisory Control Theory in Epistemic Temporal Logic
• An Internal Version of Epistemic Logic

Other Interests: music (piano)