Dual-context calculi for modal logic

@article{Kavvos2017DualcontextCF,
  title={Dual-context calculi for modal logic},
  author={G. A. Kavvos},
  journal={2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year={2017},
  pages={1-12}
}
We show how to derive natural deduction systems for the necessity fragment of various constructive modal logics by exploiting a pattern found in sequent calculi. The resulting systems are dual-context systems, in the style pioneered by Girard, Barber, Plotkin, Pfenning, Davies, and others. This amounts to a full extension of the Curry-Howard-Lambek correspondence to the necessity fragments of a constructive variant of the modal logics K, K4, GL, T, and S4. We investigate the metatheory of these… CONTINUE READING

1 Figure or Table

Topics

Statistics

010203020172018
Citations per Year

Citation Velocity: 11

Averaging 11 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.