Pages that link to "Item:Q4796460"
From MaRDI portal
The following pages link to Display Calculi for Nominal Tense Logics (Q4796460):
Displaying 7 items.
- Nominal tense logic (Q689193) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics (Q3003326) (← links)
- (Q4263012) (← links)
- (Q4263013) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)