Pages that link to "Item:Q2500480"
From MaRDI portal
The following pages link to Making knowledge explicit: how hard it is (Q2500480):
Displaying 24 items.
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- The ontology of justifications in the logical setting (Q454364) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Practical extraction of evidence terms from common-knowledge reasoning (Q530856) (← links)
- The logic of proofs, semantically (Q703832) (← links)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565) (← links)
- Self-referential justifications in epistemic logic (Q987374) (← links)
- Prehistoric graph in modal derivations and self-referentiality (Q1678748) (← links)
- Non-circular proofs and proof realization in modal logic (Q2349104) (← links)
- Justified common knowledge (Q2500478) (← links)
- On the complexity of the reflected logic of proofs (Q2500485) (← links)
- The Logic of Justification (Q2971696) (← links)
- On Realization of -modality by Evidence Terms (Q3431968) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic (Q3455862) (← links)
- Self-referentiality of Justified Knowledge (Q3503641) (← links)
- Justification Logic (Q3532452) (← links)
- THE LOGIC OF JUSTIFICATION (Q3580683) (← links)
- Tracking Evidence (Q3585997) (← links)
- Reasoning with Justifications (Q3600565) (← links)
- MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT (Q4020488) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- Symmetric Logic of Proofs (Q5452174) (← links)
