The following pages link to (Q3989937):
Displaying 6 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- A basic system of congruential-to-monotone bimodal logic and two of its extensions (Q1374212) (← links)
- In search of a ``true'' logic of knowledge: The nonmonotonic perspective (Q1855242) (← 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)