Pages that link to "Item:Q2142082"

The following pages link to A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082):

Displayed 1 item.

• A linear logic framework for multimodal logics (Q5889307) ‎ (← links)