Pages that link to "Item:Q5758131"
From MaRDI portal
The following pages link to State of the Union: Type Inference Via Craig Interpolation (Q5758131):
Displayed 4 items.
- Common knowledge does not have the Beth property (Q987837) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle (Q5505488) (← links)