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
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Nomura, Shoshin; Ono, Hiroakira; Sano, Katsuhiko: A cut-free labelled sequent calculus for dynamic epistemic logic (2016)
- D’Hondt, Ellie; Sadrzadeh, Mehrnoosh: Classical knowledge for quantum security (2011)
- Richards, Simon: Aximo: automated axiomatic reasoning for information update (2009)
- Sadrzadeh, Mehrnoosh; Dyckhoff, Roy: Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (2009)