Pages that link to "Item:Q2850366"
From MaRDI portal
The following pages link to Sequent calculi of transitional composition-nominative modal logics (Q2850366):
Displaying 4 items.
- Modal logics of non-monotone partial predicates (Q2819022) (← links)
- Semantic aspects of transitional composition-nominative modal logics (Q2850303) (← links)
- Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach (Q2897444) (← links)
- (Q4263012) (← links)