The following pages link to The logic of proofs, semantically (Q703832):
Displaying 48 items.
- 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)
- The Logic of Justification (Q2971696) (← links)
- The first-order hypothetical logic of proofs (Q3133155) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706) (← links)
- Analytic Methods for the Logic of Proofs (Q3406688) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- The Logic of Uncertain Justifications (Q3455853) (← links)
- Justifications, Awareness and Epistemic Dynamics (Q3455854) (← links)
- Temporalizing Modal Epistemic Logic (Q3455859) (← links)
- Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic (Q3455862) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- S4LP and Local Realizability (Q3503636) (← links)
- Self-referentiality of Justified Knowledge (Q3503641) (← links)
- Justification Logic (Q3532452) (← links)
- 2007 Annual Meeting of the Association for Symbolic Logic (Q3533520) (← links)
- THE LOGIC OF JUSTIFICATION (Q3580683) (← links)
- Tracking Evidence (Q3585997) (← links)
- Reasoning with Justifications (Q3600565) (← links)
- Conservativity for Logics of Justified Belief (Q3605540) (← links)
- Knowledge, Time, and Logical Omniscience (Q3638298) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- A new framework for justification logic (Q4586147) (← links)
- Kolmogorov and Gödel's approach to intuitionistic logic: current developments (Q4829857) (← links)
- A LOGIC OF JUSTIFICATION AND TRUTHMAKING (Q4928776) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- Relating Semantics for Epistemic Logic (Q5066091) (← links)
- A Logic of Knowledge and Belief Based on Abstract Arguments (Q5098746) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- On Definitive Solutions of Strategic Games (Q5249680) (← links)
- Possibilistic Justification Logic (Q5278213) (← links)
- On Aggregating Probabilistic Evidence (Q5283416) (← links)
- Probabilistic Justification Logic (Q5283426) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS (Q5381039) (← links)
- Symmetric Logic of Proofs (Q5452174) (← links)
- Logic of proofs and provability (Q5957921) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)
