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 4 items.

• Proof analysis in modal logic (Q812101) (← links)
• A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
• Proofs and countermodels in non-classical logics (Q2254557) (← links)
• Disentangling structural connectives or life without display property (Q2421521) (← links)