The following pages link to (Q4636050):
Displaying 10 items.
- A complete modal proof system for HAL: the Herbrand agent language (Q1311969) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- (Q5015283) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
