The following pages link to Aximo (Q26925):
Displaying 4 items.
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- Classical knowledge for quantum security (Q2825352) (← links)
- Aximo: Automated Axiomatic Reasoning for Information Update (Q4982122) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)