Pages that link to "Item:Q4982120"

The following pages link to Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120):

Displaying 1 item.

• Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)