Pages that link to "Item:Q276034"
From MaRDI portal
The following pages link to Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034):
Displaying 4 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)