Home

Publications

Export 6 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Samuel Bucheli  [Clear All Filters]
2011
Bucheli, S, Kuznets R, Studer T.  2011.  Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21(1):35-60.
Bucheli, S, Kuznets R, Studer T.  2011.  Partial Realization in Dynamic Justification Logic. Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings. 6642:35-51.
2010
Bucheli, S, Kuznets R, Studer T.  2010.  Explicit Evidence Systems with Common Knowledge. Abstract
Bucheli, S, Kuznets R, Studer T.  2010.  Two Ways to Common Knowledge. Proceedings of the 6th Workshop on {M}ethods for {Modalities} ({M4M–6 2009}), {C}openhagen, {D}enmark, 12–14 {N}ovember 2009. :83–98. Abstract
Bucheli, S, Kuznets R, Renne B, Sack J, Studer T.  2010.  Justified Belief Change. Proceedings of the {S}econd {ILCLI} {I}nternational {W}orkshop on {L}ogic and {P}hilosphy of {K}nowledge, {C}ommunication and {A}ction ({L}og{KCA}-10). :135–155. Abstract
2008
Bucheli, S.  2008.  Explicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions.