The following pages link to THE LOGIC OF JUSTIFICATION (Q3580683):
Displaying 35 items.
- Update as Evidence: Belief Expansion (Q3455850) (← links)
- The Logic of Uncertain Justifications (Q3455853) (← links)
- Justifications, Awareness and Epistemic Dynamics (Q3455854) (← links)
- Temporalizing Modal Epistemic Logic (Q3455859) (← links)
- Tracking Evidence (Q3585997) (← links)
- The NP-Completeness of Reflected Fragments of Justification Logics (Q3605524) (← links)
- Knowledge, Time, and Logical Omniscience (Q3638298) (← links)
- (Q4237309) (← links)
- (Q4440557) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- A new framework for justification logic (Q4586147) (← links)
- In defence of a logic for ‘because’ (Q4586160) (← links)
- Beliefs supported by binary arguments (Q4685528) (← links)
- A LOGIC OF JUSTIFICATION AND TRUTHMAKING (Q4928776) (← links)
- KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS (Q5024506) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- Relating Semantics for Epistemic Logic (Q5066091) (← links)
- Semirings of Evidence (Q5098741) (← links)
- Intuitive and Regressive Justifications† (Q5149974) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- Possibilistic Justification Logic (Q5278213) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
- On Aggregating Probabilistic Evidence (Q5283416) (← links)
- Probabilistic Justification Logic (Q5283426) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS (Q5381039) (← links)
- (Q5419893) (← links)
- INTUITIONISTIC EPISTEMIC LOGIC (Q5741614) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
- Error, consistency and triviality (Q6495246) (← links)
- Common law precedent and the logic of reasons (Q6618556) (← links)
- Epistemic logics for relevant reasoners (Q6623818) (← links)
- Uncertainty-based semantics for multi-agent knowing how logics (Q6642564) (← links)
