Pages that link to "Item:Q454364"

The following pages link to The ontology of justifications in the logical setting (Q454364):

Displaying 32 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)
• Conservativity for logics of justified belief: two approaches (Q408535) (← links)
• On non-self-referential fragments of modal logics (Q508827) (← links)
• The sharpness property of justification logic (Q785962) (← links)
• False beliefs in unreliable knowledge networks (Q1620441) (← links)
• Prehistoric graph in modal derivations and self-referentiality (Q1678748) (← links)
• Justification awareness models (Q1709686) (← 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)
• The logic of epistemic justification (Q2666893) (← links)
• Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
• Introducing Justification into Epistemic Logic (Q3371155) (← links)
• Natural deduction and semantic models of justification logic in the proof assistant Coq (Q3386915) (← links)
• Explicit Generic Common Knowledge (Q3455832) (← links)
• Update as Evidence: Belief Expansion (Q3455850) (← links)
• Justifications, Awareness and Epistemic Dynamics (Q3455854) (← links)
• (Q4544185) (← links)
• Justification Logics with Probability Operators (Q5024719) (← links)
• First-order justification logic with constant domain semantics (Q5108022) (← links)
• Editorial Reasons, argumentation and justification: DEON 2016 special issue (Q5222684) (← links)
• Possibilistic Justification Logic (Q5278213) (← links)
• Probabilistic Justification Logic (Q5283426) (← links)
• (Q5419893) (← links)
• Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality (Q6058200) (← links)
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
• Common law precedent and the logic of reasons (Q6618556) (← links)
• An awareness epistemic framework for belief, argumentation and their dynamics (Q6642567) (← links)