Pages that link to "Item:Q2342101"

The following pages link to Restricted interpolation over modal logic S4 (Q2342101):

Displaying 4 items.

• Recognizable and perceptible logics and varieties (Q683376) (← links)
• Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
• Recognizable logics (Q887647) (← links)
• Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)