Pages that link to "Item:Q4650293"
From MaRDI portal
The following pages link to A proof-theoretic study of the correspondence of classical logic and modal logic (Q4650293):
Displaying 5 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)
- A modal view of linear logic (Q4314678) (← links)