Pages that link to "Item:Q2537604"

The following pages link to The deduction theorem in S4, S4.2, and S5 (Q2537604):

Displaying 3 items.

• Does the deduction theorem fail for modal logic? (Q383061) (← links)
• Variations on Jaśkowski’s Discursive Logic (Q4611687) (← links)
• On undecidability of the propositional logic of an associative binary modality (Q6617171) (← links)