Pages that link to "Item:Q360052"
From MaRDI portal
The following pages link to On the succinctness of some modal logics (Q360052):
Displaying 5 items.
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- The succinctness of the cover modality (Q4586149) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5232899) (← links)
- A public announcement separation logic (Q5377700) (← links)
