The following pages link to INTUITIONISTIC EPISTEMIC LOGIC (Q5741614):
Displaying 22 items.
- 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)
- 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)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Topological models of propositional logic of problems and propositions (Q2688115) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- Intuitionistic Epistemology and Modal Logics of Verification (Q3457712) (← links)
- (Q5111325) (← links)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← 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)
