Pages that link to "Item:Q1740459"

The following pages link to Provability logic and the completeness principle (Q1740459):

Displaying 25 items.

• Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
• Provability in predicate product logic (Q884950) (← links)
• Completeness and incompleteness for plausibility logic (Q1923829) (← links)
• Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• Hard provability logics (Q2658282) (← links)
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
• Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
• Explicit provability and constructive semantics (Q2732527) (← links)
• Cauchy completeness in elementary logic (Q3128466) (← links)
• Unified Classical Logic Completeness (Q3192180) (← links)
• Logic of Proofs and Labels with a Complete Set of Operations (Q3431970) (← links)
• (Q3442955) (← links)
• Closed Fragments of Provability Logics of Constructive Theories (Q3617381) (← links)
• A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
• Proving completeness by logic (Q4653719) (← links)
• Preservativity logic: An analogue of interpretability logic for constructive theories (Q4808463) (← links)
• THE -PROVABILITY LOGIC OF (Q5195060) (← links)
• Absolute Provability and Safe Knowledge of Axioms (Q5221597) (← links)
• AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
• (Q5477944) (← links)
• (Q5554974) (← links)
• AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
• Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
• The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)