Labeled sequent calculus for justification logics |
| |
Authors: | Meghdad Ghari |
| |
Institution: | School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box: 19395-5746, Tehran, Iran |
| |
Abstract: | Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as well as for combined modal-justification logics. Using a method due to Sara Negri, we internalize the Kripke-style semantics of justification and modal-justification logics, known as Fitting models, within the syntax of the sequent calculus to produce labeled sequent calculi. We show that all rules of these systems are invertible and the structural rules (weakening and contraction) and the cut rule are admissible. Soundness and completeness are established as well. The analyticity for some of our labeled sequent calculi are shown by proving that they enjoy the subformula, sublabel and subterm properties. We also present an analytic labeled sequent calculus for based on Artemov–Fitting models. |
| |
Keywords: | 03B45 03B60 03B62 03F05 Justification logic Modal logic Fitting model Labeled sequent calculus Analyticity |
本文献已被 ScienceDirect 等数据库收录! |
|