Pages that link to "Item:Q3532480"

The following pages link to Improved Second-Order Quantifier Elimination in Modal Logic (Q3532480):

Displaying 1 item.

• The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)