Pages that link to "Item:Q3483261"

The following pages link to ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261):

Displaying 19 items.

• On propositional quantifiers in provability logic (Q1317986) (← links)
• On bimodal logics of provability (Q1332858) (← links)
• The classification of propositional calculi (Q1595914) (← links)
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
• Propositional truth maintenance systems: Classification and complexity analysis (Q1924776) (← links)
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
• On the restricted equivalence for subclasses of propositional logic (Q3142267) (← links)
• (Q3339281) (← links)
• The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic (Q3677734) (← links)
• (Q3688377) (← links)
• (Q3760513) (← links)
• (Q4263489) (← links)
• On goal-directed provability in classical logic (Q4395687) (← links)
• Reduction of provability logics to Σ₁-provability logics (Q4644602) (← links)
• PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
• CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
• (Q5413349) (← links)
• The persistence principle over weak interpretability logic (Q6561649) (← links)