“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 17614
School of Mathematics
  Title:   Tableaux and interpolation for propositional justification logics
  Author(s):  Meghdad Ghari
  Status:   To Appear
  Journal: Notre Dame J. Formal Logic
  Supported by:  IPM
In this paper, we present tableau proof systems for the annotated version of propositional justification logics; that is, justification logics which are formulated using annotated application operators. We show that the tableau systems are sound and complete with respect to Mkrtychev models, and some tableau systems are analytic and provide a decision procedure for the annotated justification logics. We further show Craig’s interpolation property and Beth’s definability theorem for some annotated justification logics.

Download TeX format
back to top
scroll left or right