The following pages link to INTUITIONISTIC EPISTEMIC LOGIC (Q5741614):
Displaying 41 items.
- Intuitionism and the liar paradox (Q448337) (← links)
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox (Q692189) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- Intuitionistic truth (Q1062982) (← links)
- On intuitionistic modal epistemic logic (Q1185042) (← links)
- Empirical logics (Q1325652) (← links)
- Reasoning about proof and knowledge (Q1625594) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Constructive knowledge and the justified true belief paradigm (Q1688952) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Persistence and minimality in epistemic logic (Q1978029) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- Curry-Howard-Lambek correspondence for intuitionistic belief (Q2062203) (← links)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
- Manifestability and epistemic truth (Q2339003) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Topological models of propositional logic of problems and propositions (Q2688115) (← links)
- Combining Epistemic Logic and Hennessy-Milner Logic (Q2897954) (← links)
- Moorean phenomena in epistemic logic (Q2904054) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- (Q3347874) (← links)
- Intuitionistic Epistemology and Modal Logics of Verification (Q3457712) (← links)
- Epistemic arithmetic is a conservative extension of intuitionistic arithmetic (Q3728881) (← links)
- Infinitary S5‐Epistemic Logic (Q4351923) (← links)
- (Q5104713) (← links)
- An arithmetic interpretation of intuitionistic verification (Q5108030) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- (Q5755194) (← links)
- Intuitionistic logic as epistemic logic (Q5946349) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Reflections on Orlov (Q6098652) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- Linear depth deduction with subformula property for intuitionistic epistemic logic (Q6156631) (← links)
- Altenatives to Kripke semantics for epistemic logic (Q6581946) (← links)
- Bitopological models of intuitionistic epistemic logic (Q6582275) (← links)
- Logics for knowability paradox with a non-normal possibility operator (Q6601764) (← links)
