Pages that link to "Item:Q3457712"
From MaRDI portal
The following pages link to Intuitionistic Epistemology and Modal Logics of Verification (Q3457712):
Displaying 12 items.
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox (Q692189) (← links)
- Modal-epistemic variants of Shapiro's system of epistemic arithmetic (Q1344441) (← links)
- The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
- Persistence and minimality in epistemic logic (Q1978029) (← links)
- Moorean phenomena in epistemic logic (Q2904054) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Two incomplete anti-realist modal epistemic logics (Q3486546) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- INTUITIONISTIC EPISTEMIC LOGIC (Q5741614) (← links)
- Intuitionistic logic as epistemic logic (Q5946349) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)