Aximo

swMATH15031MaRDI QIDQ26925FDOQ26925

Author name not available (Why is that?)

Cited In (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