Pages that link to "Item:Q1815557"

The following pages link to Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993 (Q1815557):

Displayed 2 items.

• Proof analysis in intermediate logics (Q661286) ‎ (← links)
• Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) ‎ (← links)