@conference {1849,
title = {Temporal Justification Logic},
booktitle = {Proceedings of the Ninth Workshop on Methods for Modalities, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017},
year = {2017},
pages = {59-74},
publisher = {Open Publishing Association},
organization = {Open Publishing Association},
url = {http://www.iam.unibe.ch/ltgpub/2017/bgs17.pdf},
author = {Samuel Bucheli and Ghari, Meghdad and Thomas Studer},
editor = {Ghosh, Sujata and Ramanujam, R.}
}
@article {bks12a,
title = {Realizing Public Announcements by Justifications},
journal = {Journal of Computer and System Sciences},
volume = {80},
number = {6},
year = {2014},
pages = {1046-1066},
abstract = {Modal public announcement logics study how beliefs change after public announcements. However, these logics cannot express the reason for a new belief. Justification logics fill this gap since they can formally represent evidence and justifications for an agent{\textquoteright}s belief. We present ${\sf OPAL(K)}$ and ${\sf JPAL(K)}$, two alternative justification counterparts of Gerbrandy{\textendash}Groeneveld{\textquoteright}s public announcement logic ${\sf PAL(K)}$. We show that ${\sf PAL(K)}$ is the forgetful projection of both ${\sf OPAL(K)}$ and ${\sf JPAL(K)}$. We also establish that ${\sf JPAL(K)}$ partially realizes ${\sf PAL(K)}$. The question whether a similar result holds for ${\sf OPAL(K)}$ is still open.},
keywords = {Belief revision, Dynamic epistemic logic, justification logic, Public announcements},
doi = {10.1016/j.jcss.2014.04.001},
url = {http://www.iam.unibe.ch/ltgpub/2012/bks12a.pdf},
author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}
}
@inbook {bks13,
title = {Decidability for Justification Logics Revisited},
booktitle = {Logic, Language, and Computation, 9th~International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC~2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers},
volume = {7758},
year = {2013},
pages = {166-181},
publisher = {Springer},
organization = {Springer},
abstract = {Justification logics are propositional modal-like logics that instead of statements \emph{$A$~is known} include statements of the form \emph{$A$~is known for reason~$t$} where the term~$t$ can represent an informal justification for~$A$ or a formal proof of~$A$. In our present work, we introduce model-theoretic tools, namely: filtrations and a certain form of generated submodels, in the context of justification logic in order to obtain decidability results. Apart from reproving already known results in a uniform way, we also prove new results. In particular, we use our submodel construction to establish decidability for a justification logic with common knowledge for which so far no decidability proof was available.},
keywords = {decidability, filtration, justification logic},
doi = {10.1007/978-3-642-36976-6_12},
url = {http://www.iam.unibe.ch/ltgpub/2013/bks13.pdf},
author = {Samuel Bucheli and Roman Kuznets and Thomas Studer},
editor = {Guram Bezhanishvili and Sebastian L{\"o}bner and Vincenzo Marra and Frank Richter}
}
@article {1310,
title = {Justification Logics with Common Knowledge},
year = {2012},
publisher = {Universit{\"a}t Bern},
type = {phd},
address = {Institut f{\"u}r Informatik und angewandte Mathematik},
url = {http://www.iam.unibe.ch/ltgpub/2012/buc12.pdf},
author = {Samuel Bucheli}
}
@article {1321,
title = {Justifications for Common Knowledge},
journal = {Journal of Applied Non-classical Logics},
volume = {21},
year = {2011},
note = {To appear, 2011},
pages = {35-60},
doi = {10.3166/JANCL.21.35-60},
url = {http://www.iam.unibe.ch/ltgpub/2011/bks11a.pdf},
author = {Samuel Bucheli and Roman Kuznets and Thomas Studer},
editor = {Valentin Goranko and Wojtek Jamroga}
}
@conference {1322,
title = {Partial Realization in Dynamic Justification Logic},
booktitle = {Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings},
series = {Lecture Notes in Artificial Intelligence},
volume = {6642},
year = {2011},
pages = {35-51},
doi = {10.1007/978-3-642-20920-8_9},
url = {http://www.iam.unibe.ch/ltgpub/2011/bks11b.pdf},
author = {Samuel Bucheli and Roman Kuznets and Thomas Studer},
editor = {Lev Beklemishev and de Queiroz, Ruy}
}
@article {1327,
title = {Explicit Evidence Systems with Common Knowledge},
year = {2010},
month = {may},
publisher = {arXiv.org},
type = {E-print},
abstract = {Justification logics are epistemic logics that explicitly include justifications for the agents{\textquoteright} knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting{\textquoteright}s semantics for the Logic of Proofs~$\mathsf{LP}$. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya{\textquoteright}s minimal bimodal explicit evidence logic, which is a two-agent version of~$\mathsf{LP}$. We discuss the relationship of our logic to the multi-agent modal logic~$\mathsf{S4}$ with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic.},
url = {http://arxiv.org/abs/1005.0484},
author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}
}
@conference {1340,
title = {Justified Belief Change},
booktitle = {Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10)},
year = {2010},
pages = {135-155},
publisher = {University of the Basque Country Press},
organization = {University of the Basque Country Press},
abstract = {Justification Logic is a framework for reasoning about evidence and justification. Public Announcement Logic is a framework for reasoning about belief changes caused by public announcements. This paper develops JPAL, a dynamic justification logic of public announcements that corresponds to the modal theory of public announcements due to Gerbrandy and Groeneveld. JPAL allows us to reason about evidence brought about by and changed by Gerbrandy{\textendash}Groeneveld-style public announcements.},
url = {http://www.iam.unibe.ch/ltgpub/2010/bkrss10.pdf},
author = {Samuel Bucheli and Roman Kuznets and Renne, Bryan and Sack, Joshua and Thomas Studer},
editor = {Arrazola, Xabier and Ponte, Mar\'{\i}a}
}
@conference {1337,
title = {Two Ways to Common Knowledge},
booktitle = {Proceedings of the 6th~Workshop on Methods for Modalities (M4M{\textendash}6~2009), Copenhagen, Denmark, 12{\textendash}14 November 2009},
series = {Electronic Notes in Theoretical Computer Science},
year = {2010},
pages = {83-98},
publisher = {Elsevier},
organization = {Elsevier},
abstract = {It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towards such a system. We argue that the standard induction rule is not well suited to axiomatize evidence-based common knowledge. As an alternative, we study two different deductive systems for the logic of common knowledge. The first system makes use of an induction axiom whereas the second one is based on co-inductive proof theory. We show the soundness and completeness for both systems.},
keywords = {proof theory},
doi = {10.1016/j.entcs.2010.04.007},
url = {http://www.iam.unibe.ch/ltgpub/2010/bks10a.pdf},
author = {Samuel Bucheli and Roman Kuznets and Thomas Studer},
editor = {Thomas Bolander and Torben Bra{\"u}ner}
}
@article {1369,
title = {Explicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions},
year = {2008},
publisher = {Universit{\"a}t Bern},
type = {masters},
address = {Institut f{\"u}r Informatik und angewandte Mathematik},
url = {http://www.iam.unibe.ch/ltgpub/2008/buc08.pdf},
author = {Samuel Bucheli}
}