Pages that link to "Item:Q5850981"
From MaRDI portal
The following pages link to A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY (Q5850981):
Displaying 13 items.
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- Valentini's cut-elimination for provability logic resolved (Q2890695) (← links)
- How to optimize proof-search in modal logics (Q3184509) (← links)
- (Q4443211) (← links)
- (Q4558785) (← links)
- Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics (Q4779590) (← links)
- (Q5090950) (← links)
- (Q5144634) (← links)
- (Q5457387) (← links)
- Provability multilattice logic (Q6040535) (← links)