Pages that link to "Item:Q392284"
From MaRDI portal
The following pages link to Possible world semantics for first-order logic of proofs (Q392284):
Displaying 6 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- On causality as the fundamental concept of Gödel's philosophy (Q2054157) (← links)
- Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383) (← links)
- Justification logic with confidence (Q2193973) (← links)
- Causality and Attribution in an Aristotelian Theory (Q5258975) (← links)
- Common law precedent and the logic of reasons (Q6618556) (← links)
