Pages that link to "Item:Q2732527"
From MaRDI portal
The following pages link to Explicit Provability and Constructive Semantics (Q2732527):
Displayed 37 items.
- The logic of proofs, semantically (Q703832) (← links)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565) (← links)
- Interacting explicit evidence systems (Q929292) (← links)
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- Logic of proofs with substitution (Q941919) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Introduction to computability logic (Q1408853) (← links)
- Hypercomputation by definition (Q1434375) (← links)
- Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics (Q1776197) (← links)
- The intuitionistic fragment of computability logic at the propositional level (Q2373697) (← 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)
- 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)
- 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)
- Reasoning with Justifications (Q3600565) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- The NP-Completeness of Reflected Fragments of Justification Logics (Q3605524) (← links)
- Tableaux and Hypersequents for Justification Logic (Q3605536) (← links)
- Conservativity for Logics of Justified Belief (Q3605540) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Symmetric Logic of Proofs (Q5452174) (← links)
- The single-conclusion proof logic and inference rules specification (Q5957913) (← links)
- Logic of proofs and provability (Q5957921) (← links)