Pages that link to "Item:Q5231279"
From MaRDI portal
The following pages link to Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279):
Displayed 4 items.
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)