Pages that link to "Item:Q1412840"

The following pages link to Repairing the interpolation theorem in quantified modal logic (Q1412840):

Displaying 3 items.

• Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
• Interpolation in non-classical logics (Q1024121) (← links)
• Natural deduction for first-order hybrid logic (Q1777372) (← links)