External Links

Cite Key

Statistics

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

PDF

Tags

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.

Operations on Proofs that can be Specified by Means of Modal Logic

Sergei N. Artëmov. Operations on Proofs that can be Specified by Means of Modal Logic. In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing, editors, Advances in Modal Logic 2, papers from the second workshop on Advances in Modal logic, held in Uppsala, Sweden, 1998. pages 59-72, CSLI Publications, 1998.

Abstract

Abstract is missing.

runs on