Aximo

swMATH15031MaRDI QIDQ26925FDOQ26925

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: Aximo