Pages that link to "Item:Q2732527"
From MaRDI portal
The following pages link to Explicit Provability and Constructive Semantics (Q2732527):
Displaying 50 items.
- Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- Justification logic and type theory as formalizations of intuitionistic propositional logic (Q2151394) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Justification logic with confidence (Q2193973) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
- Non-circular proofs and proof realization in modal logic (Q2349104) (← links)
- The intuitionistic fragment of computability logic at the propositional level (Q2373697) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- A complexity question in justification logic (Q2453576) (← links)
- A quantified logic of evidence (Q2478547) (← links)
- Typing in reflective combinatory logic (Q2498910) (← links)
- Justified common knowledge (Q2500478) (← links)
- Making knowledge explicit: how hard it is (Q2500480) (← links)
- On the complexity of the reflected logic of proofs (Q2500485) (← links)
- Referential logic of proofs (Q2500486) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- A logic of knowing why (Q2693121) (← links)
- A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
- Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- Simple Evidence Elimination in Justification Logic (Q2902944) (← links)
- Causal Graph Justifications of Logic Programs (Q2931267) (← links)
- Interrogative Dependencies and the Constructive Content of Inquisitive Proofs (Q2938134) (← links)
- A realization theorem for the Gödel-Löb provability logic (Q2957859) (← links)
- The Logic of Justification (Q2971696) (← links)
- Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- 2004 Annual Meeting of the Association for Symbolic Logic (Q3370628) (← links)
- 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← 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)
- Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic (Q3455862) (← links)
- Intuitionistic Epistemology and Modal Logics of Verification (Q3457712) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- S4LP and Local Realizability (Q3503636) (← links)
