The following pages link to (Q3989937):
Displaying 4 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Substantive assumptions in interaction: a logical perspective (Q2446049) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
