Pages that link to "Item:Q4650293"

The following pages link to A proof-theoretic study of the correspondence of classical logic and modal logic (Q4650293):

Displaying 2 items.

• Proof analysis in modal logic (Q812101) (← links)
• A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)