Aximo
From MaRDI portal
Software:26925
No author found.
Related Items (4)
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ Classical Knowledge for Quantum Security ⋮ Aximo: Automated Axiomatic Reasoning for Information Update
This page was built for software: Aximo
