 | Up a level |
Bucheli, Samuel; Ghari, Meghdad; Studer, Thomas (2017). Temporal Justification Logic. Electronic proceedings in theoretical computer science, 243, pp. 59-74. NICTA 10.4204/EPTCS.243.5
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2014). Realizing public announcements by justifications. Journal of computer and system sciences, 80(6), pp. 1046-1066. Elsevier 10.1016/j.jcss.2014.04.001
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2013). Decidability for Justification Logics Revisited. In: Logic, language, and computation. Lecture Notes in Computer Science: Vol. 7758 (pp. 166-181). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-642-36976-6_12
Bucheli, Samuel (2012). Justification Logics with Common Knowledge.
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Justifications for Common Knowledge. Journal of applied non-classical logics, 21(1), pp. 35-60. Paris: Ed. Hermes 10.3166/JANCL.21.35-60
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Partial Realization in Dynamic Justification Logic. In: Beklemishev, Lev D.; de Queiroz, Ruy (eds.) Logic, Language, Information and Computation, 18th International workshop, WoLLIC 2011, Philadelphia, PA, USA, May, 18-20, Proceedings. Lecture Notes in Computer Science: Vol. 6642 (pp. 35-51). Heidelberg: Springer Verlag 10.1007/978-3-642-20920-8_9
Bucheli, Samuel; Kuznets, Roman; Renne, Bryan; Sack, Joshua; Studer, Thomas (2010). Justified Belief Change. In: Arrazola, Xabier; Ponte, Maria (eds.) Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10).
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2010). Two ways to common knowledge. In: Bolander, Thomas; Braüner, Torben (eds.) Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark, 12-14 November 2009. Electronic Notes in Theoretical Computer Science: Vol. 262 (pp. 83-98). Amsterdam: Elsevier 10.1016/j.entcs.2010.04.007
