“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 17614 |
|
| Abstract: | |
|
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 | |
