The following pages link to (Q4263012):
Displaying 6 items.
- Cut-free sequent calculi for some tense logics (Q1317905) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics (Q3003326) (← links)
- (Q4263013) (← links)
- Display Calculi for Nominal Tense Logics (Q4796460) (← links)
- (Q5090950) (← links)