A cut-free proof system for a predicate extension of the logic of provability

DOI10.4467/20842589RM.18.006.8839zbMath1432.03126arXiv1802.10261MaRDI QIDQ4627727

Yoshihito Tanaka

Publication date: 11 March 2019

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.10261

zbMATH Keywords

provability logicpredicate logiccut-free system

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: A cut-free proof system for a predicate extension of the logic of provability