TY - CONF
T1 - A Syntactic Realization Theorem for Justification Logics
T2 - Advances in Modal Logic, Volume 8
Y1 - 2010
A1 - Kai Brünnler
A1 - Remo Goetschi
A1 - Roman Kuznets
ED - Lev Beklemishev
ED - Valentin Goranko
ED - Valentin Shehtman
KW - realization theorem
AB - Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms $\mathsf{d}$, $\mathsf{t}$, $\mathsf{b}$, $\mathsf{4}$, and $\mathsf{5}$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for $\mathsf{KB5}$ and $\mathsf{S5}$ by showing that the positive introspection operator is superfluous.
JF - Advances in Modal Logic, Volume 8
PB - College Publications
UR - http://www.iam.unibe.ch/ltgpub/2010/bgk10.pdf
ER -