Pages that link to "Item:Q3749039"
From MaRDI portal
The following pages link to ON MODAL LOGICS AXIOMATIZING PROVABILITY (Q3749039):
Displaying 13 items.
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- The formalization of interpretability (Q1176098) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- (Q3509069) (← links)
- (Q3693507) (← links)
- (Q3699666) (← links)
- (Q3743303) (← links)
- On first-order theories with provability operator (Q4323033) (← links)
- (Q4636037) (← links)
- (Q4661993) (← links)
- (Q5354747) (← links)