Pages that link to "Item:Q4007157"
From MaRDI portal
The following pages link to A Constructive Presentation for the Modal Connective of Necessity (□) (Q4007157):
Displaying 3 items.
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)