Pages that link to "Item:Q2219076"

The following pages link to Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076):

Displaying 1 item.

• A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)