The following pages link to (Q4636308):
Displaying 13 items.
- Implicit, explicit and speculative knowledge (Q1748464) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- Situated epistemic updates (Q2148833) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- A family of graded epistemic logics (Q2333311) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q2695524) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- Epistemic Updates on Bilattices (Q3457727) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)