The following pages link to (Q5483015):
Displaying 10 items.
- Deep sequent systems for modal logic (Q834716) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- System BV is NP-complete (Q2478549) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
