Aximo

MaRDI QIDQ26925swMATHFDO

Official website http://eprints.soton.ac.uk/264909/

Cited in

(5)

• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Classical knowledge for quantum security
• Aximo: automated axiomatic reasoning for information update
• DEMO
• A cut-free labelled sequent calculus for dynamic epistemic logic

This page was built for software: Aximo