Pages that link to "Item:Q1185042"
From MaRDI portal
The following pages link to On intuitionistic modal epistemic logic (Q1185042):
Displaying 32 items.
- Intuitionistic common knowledge or belief (Q334160) (← links)
- Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox (Q692189) (← links)
- Modal-epistemic variants of Shapiro's system of epistemic arithmetic (Q1344441) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Constructive knowledge and the justified true belief paradigm (Q1688952) (← links)
- The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- A new epistemic characterization of \(\varepsilon\)-proper rationalizability (Q2013350) (← links)
- Curry-Howard-Lambek correspondence for intuitionistic belief (Q2062203) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- A Church-Fitch proof for the universality of causation (Q2443330) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- Superassertibility and the equivalence schema: a dilemma for Wright's antirealist (Q2460160) (← links)
- Distributed knowability and Fitch's paradox (Q2464652) (← links)
- How to solve the knowability paradox with transcendental epistemology (Q2695398) (← links)
- (Q2757826) (← links)
- Combining Epistemic Logic and Hennessy-Milner Logic (Q2897954) (← links)
- Moorean phenomena in epistemic logic (Q2904054) (← links)
- On modal knowledge (Q2910192) (← links)
- Epistemic extensions of modal distributive substructural logics (Q2957968) (← links)
- Intuitionistic Epistemology and Modal Logics of Verification (Q3457712) (← links)
- Two incomplete anti-realist modal epistemic logics (Q3486546) (← links)
- (Q4295885) (← links)
- On the relation between possibilistic logic and modal logics of belief and knowledge (Q4586230) (← links)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
- INTUITIONISTIC EPISTEMIC LOGIC (Q5741614) (← links)
- (Q5755179) (← links)
- Intuitionistic logic as epistemic logic (Q5946349) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
- Knowing possibilities and the possibility of knowing: a further challenge for the anti-realist (Q6652862) (← links)
