Pages that link to "Item:Q4286209"

The following pages link to On the Correspondence Between Modal and Classical Logic: an Automated Approach (Q4286209):

Displaying 2 items.

• The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)