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.
@inproceedings{Artemov98,
title = {Operations on Proofs that can be Specified by Means of Modal Logic},
author = {Sergei N. Artëmov},
year = {1998},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Artemov98},
cites = {0},
citedby = {0},
pages = {59-72},
booktitle = {Advances in Modal Logic 2, papers from the second workshop on Advances in Modal logic, held in Uppsala, Sweden, 1998},
editor = {Michael Zakharyaschev and Krister Segerberg and Maarten de Rijke and Heinrich Wansing},
publisher = {CSLI Publications},
isbn = {1-57586-271-9},
}