Aximo: Automated Axiomatic Reasoning for Information Update. Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result: the worst case complexity of the verification problem of Aximo.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element