TY - CONF
T1 - A canonical model construction for intuitionistic distributed knowledge
T2 - Advances in Modal Logic 2016
Y1 - 2016
A1 - Gerhard Jäger
A1 - Michel Marti
ED - Lev Beklemishev
ED - S. Demri
ED - A. Máté
JF - Advances in Modal Logic 2016
PB - College Publications
UR - http://www.iam.unibe.ch/ltgpub/2016/jmidk16.pdf
ER -
TY - CONF
T1 - Partial Realization in Dynamic Justification Logic
T2 - Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings
Y1 - 2011
A1 - Samuel Bucheli
A1 - Roman Kuznets
A1 - Thomas Studer
ED - Lev Beklemishev
ED - de Queiroz, Ruy
JF - Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings
T3 - Lecture Notes in Artificial Intelligence
VL - 6642
UR - http://www.iam.unibe.ch/ltgpub/2011/bks11b.pdf
ER -
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 -