The following pages link to THE LOGIC OF JUSTIFICATION (Q3580683):
Displaying 50 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011. (Q343308) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Possible world semantics for first-order logic of proofs (Q392284) (← links)
- The logic of uncertain justifications (Q392291) (← links)
- Conservativity for logics of justified belief: two approaches (Q408535) (← links)
- Lower complexity bounds in justification logic (Q408543) (← links)
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- The ontology of justifications in the logical setting (Q454364) (← links)
- A new semantics for systems of logic of essence (Q456959) (← links)
- On the factivity of implicit intersubjective knowledge (Q484978) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- The interrogative model of inquiry meets dynamic epistemic logics (Q514587) (← links)
- Logic of confidence (Q514597) (← links)
- Justification logics and hybrid logics (Q631081) (← links)
- Realizations and LP (Q636276) (← links)
- Reasoning about games (Q647418) (← links)
- Interpreting quantum logic as a pragmatic structure (Q682630) (← links)
- The sharpness property of justification logic (Q785962) (← links)
- Rosenkranz's logic of justification and unprovability (Q830400) (← links)
- Self-referential justifications in epistemic logic (Q987374) (← links)
- Paraconsistent logic, evidence, and justification (Q1685567) (← links)
- Constructive agents (Q1688949) (← links)
- The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- The dynamics of argumentative discourse (Q2121483) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Non-circular proofs and proof realization in modal logic (Q2349104) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- A complexity question in justification logic (Q2453576) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- A logic of knowing why (Q2693121) (← links)
- Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- Simple Evidence Elimination in Justification Logic (Q2902944) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706) (← links)
- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Q3305620) (← links)
- (Q3384088) (← links)
- Explicit Generic Common Knowledge (Q3455832) (← links)
- 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)
