Pages that link to "Item:Q2436104"

The following pages link to Classification of extensions of the modal logic S4 (Q2436104):

Displaying 3 items.

• Recognizable logics (Q887647) (← links)
• Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
• Restricted interpolation over modal logic S4 (Q2342101) (← links)