The following pages link to (Q4263489):
Displaying 7 items.
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The classification of propositional calculi (Q1595914) (← links)
- Propositional truth maintenance systems: Classification and complexity analysis (Q1924776) (← links)
- On the restricted equivalence for subclasses of propositional logic (Q3142267) (← links)
- (Q3339281) (← links)
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)