Pages that link to "Item:Q2503409"
From MaRDI portal
The following pages link to Frege systems for extensible modal logics (Q2503409):
Displayed 5 items.
- Proof complexity of propositional default logic (Q647339) (← links)
- On lengths of proofs in non-classical logics (Q1006613) (← links)
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- Canonical rules (Q3655251) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)