The following pages link to (Q4263013):
Displaying 5 items.
- From display to labelled proofs for tense logics (Q1709695) (← 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)
- (Q4263012) (← links)
- Display Calculi for Nominal Tense Logics (Q4796460) (← links)