Unified Correspondence as a Proof-Theoretic Tool.
JOURNAL OF LOGIC AND COMPUTATION, no. 7 (2018): 1367.0-1442
The present article aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap. These connections have been seminally observed and exploited by Marcus Kracht, in the context of his characterization of the modal axioms (which he ...更多
下载 PDF 全文