Pages that link to "Item:Q4529489"
From MaRDI portal
The following pages link to Reducing Modal Consequence Relations (Q4529489):
Displaying 7 items.
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- Taming Modal Impredicativity: Superlazy Reduction (Q3605525) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)