Pages that link to "Item:Q5957922"
From MaRDI portal
The following pages link to Provability logics with quantifiers on proofs (Q5957922):
Displaying 24 items.
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Provability in predicate product logic (Q884950) (← links)
- A new proof of the fixed-point theorem of provability logic (Q923072) (← links)
- Justification logics, logics of knowledge, and conservativity (Q1028642) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- On the homogeneity property for certain quantifier logics (Q1204106) (← links)
- On propositional quantifiers in provability logic (Q1317986) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- A quantified logic of evidence (Q2478547) (← links)
- On QBF Proofs and Preprocessing (Q2870148) (← links)
- Finite Quantification in Hierarchic Theorem Proving (Q3192187) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261) (← links)
- Reasoning with Justifications (Q3600565) (← links)
- (Q3757914) (← links)
- (Q3809769) (← links)
- (Q4263489) (← links)
- Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases (Q4490140) (← links)
- (Q4944902) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191595) (← links)
- (Q5354752) (← links)
