Publications

Export 9 results:
Filters: Author is Samuel Bucheli  [Clear All Filters]
2014
Bucheli, S., Kuznets, R., Studer, T.: Realizing Public Announcements by Justifications. Journal of Computer and System Sciences. 80, 1046-1066 (2014).
2013
Bucheli, S., Kuznets, R., Studer, T.: Decidability for Justification Logics Revisited. In: Bezhanishvili, G., Löbner, S., Marra, V., and Richter, F. Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. pp. 166-181. Springer (2013).
2011
Bucheli, S., Kuznets, R., Studer, T.: Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21, 35-60 (2011).
Bucheli, S., Kuznets, R., Studer, T.: Partial Realization in Dynamic Justification Logic. In: Beklemishev, L. and de Queiroz, R. Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings. pp. 35-51 (2011).
2010
Bucheli, S., Kuznets, R., Studer, T.: Explicit Evidence Systems with Common Knowledge. (2010).
Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified Belief Change. In: Arrazola, X. and Ponte, M.\'ıa Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10). pp. 135-155. University of the Basque Country Press (2010).
Bucheli, S., Kuznets, R., Studer, T.: Two Ways to Common Knowledge. In: Bolander, T. and Braüner, T. Proceedings of the 6th Workshop on Methods for Modalities (M4M–6 2009), Copenhagen, Denmark, 12–14 November 2009. pp. 83-98. Elsevier (2010).