External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Labelled sequent calculi for logics of strict implication

Eugenio Orlandelli, Matteo Tesi. Labelled sequent calculi for logics of strict implication. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 625-642, College Publications, 2022.

Authors

Eugenio Orlandelli

This author has not been identified. Look up 'Eugenio Orlandelli' in Google

Matteo Tesi

This author has not been identified. Look up 'Matteo Tesi' in Google
runs on