Pages that link to "Item:Q633160"
From MaRDI portal
The following pages link to \(\in_K\): a non-Fregean logic of explicit knowledge (Q633160):
Displaying 11 items.
- On the factivity of implicit intersubjective knowledge (Q484978) (← links)
- Reasoning about proof and knowledge (Q1625594) (← links)
- Knowledge is a diamond (Q1685935) (← links)
- Skepticism and epistemic logic (Q1840654) (← links)
- Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
- Inexact knowledge with introspection (Q2271186) (← links)
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
- Epistemic closure and commutative, nonassociative residuated structures (Q2442889) (← links)
- Epistemic friction. An essay on knowledge, truth, and logic (Q2812683) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- Decidability of intuitionistic sentential logic with identity via sequent calculus (Q6659904) (← links)