•  26
    Non-circular proofs and proof realization in modal logic
    Annals of Pure and Applied Logic 165 (7-8): 1318-1338. 2014.
    In this paper a complete proper subclass of Hilbert-style S4 proofs, named non-circular, will be determined. This study originates from an investigation into the formal connection between S4, as Logic of Provability and Logic of Knowledge, and Artemov's innovative Logic of Proofs, LP, which later developed into Logic of Justification. The main result concerning the formal connection is the realization theorem , which states that S4 theorems are precisely the formulas which can be converted to LP…Read more