Pages that link to "Item:Q5283437"
From MaRDI portal
The following pages link to An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437):
Displaying 6 items.
- Constructive knowledge and the justified true belief paradigm (Q1688952) (← links)
- Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
- (Q3347874) (← links)
- Epistemic arithmetic is a conservative extension of intuitionistic arithmetic (Q3728881) (← links)
- (Q4636023) (← links)
- INTUITIONISTIC EPISTEMIC LOGIC (Q5741614) (← links)