Pages that link to "Item:Q1233017"

The following pages link to Embeddings of classical logic in S4 (Q1233017):

Displaying 2 items.

• An intriguing logic with two implicational connectives (Q698537) (← links)
• Embeddings of classical logic in S4. II (Q1238798) (← links)