Pages that link to "Item:Q454364"
From MaRDI portal
The following pages link to The ontology of justifications in the logical setting (Q454364):
Displaying 19 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Modal logics, justification logics, and realization (Q286591) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- False beliefs in unreliable knowledge networks (Q1620441) (← links)
- Prehistoric graph in modal derivations and self-referentiality (Q1678748) (← links)
- Communication policies in knowledge networks (Q2148182) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- Justification logic with confidence (Q2193973) (← links)
- Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
- Explicit Generic Common Knowledge (Q3455832) (← links)
- Update as Evidence: Belief Expansion (Q3455850) (← links)
- Justifications, Awareness and Epistemic Dynamics (Q3455854) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- Possibilistic Justification Logic (Q5278213) (← links)
- Probabilistic Justification Logic (Q5283426) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
