Publications

Export 48 results:
Filters: First Letter Of Last Name is K  [Clear All Filters]
In Press
, Decidability for Justification Logics Revisited, in Selected papers of Ninth International Tbilisi Symposium on Language, Logic and Computation, In Press.
, Realizing Public Announcements by Justifications, Journal of Computer and System Sciences, In Press.
2013
, Decidability for Justification Logics Revisited, in Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers, vol. 7758, Springer, 2013, pp. 166–181.
, Update as Evidence: Belief Expansion, in Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013, Proceedings, vol. 7734, Springer, 2013, pp. 266–279.
2012
R. P. Kohler, Java-Programm zur interaktiven Bearbeitung von JALC-Herleitungen. Universität Bern, 2012.
, Justifications, Ontology, and Conservativity, in Advances in Modal Logic, volume 9, 2012, pp. 437–458.
, Lower complexity bounds in justification logic, Annals of Pure and Applied Logic, vol. 163, pp. 888–905, 2012.
, Realization for Justification Logics via Nested Sequents: Modularity through Embedding, Annals of Pure and Applied Logic, vol. 163, pp. 1271–1298, 2012.
2011
, Justifications for Common Knowledge, Journal of Applied Non-classical Logics, vol. 21, no. 1, pp. 35-60, 2011.
, Partial Realization in Dynamic Justification Logic, in Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings, 2011, vol. 6642, pp. 35-51.
2010
, Explicit Evidence Systems with Common Knowledge. arXiv.org, 2010.
, Justified Belief Change, in 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), 2010, pp. 135–155.
R. Kuznets, Self-Referential Justifications in Epistemic Logic, Theory of Computing Systems, vol. 46, pp. 636–661, 2010.
, A Syntactic Realization Theorem for Justification Logics, in Advances in Modal Logic, Volume 8, 2010, pp. 39–58.
, Two Ways to Common Knowledge, in Proceedings of the 6th Workshop on {M}ethods for {Modalities} ({M4M–6 2009}), {C}openhagen, {D}enmark, 12–14 {N}ovember 2009, 2010, pp. 83–98.
, $Σ^1_1$ choice in a theory of sets and classes, in Ways of {P}roof {T}heory, 2010, pp. 283–314.
2009
J. Krähenbühl, Justifying induction on modal mu-formulae. Universität Bern, 2009.
, Logical Omniscience as a Computational Complexity Problem, in Theoretical {A}spects of {R}ationality and {K}nowledge, Proceedings of the Twelfth Conference ({TARK 2009}), Stanford University, California, 2009, pp. 14–23.
R. Kuznets, A Note on the Use of Sum in the Logic of Proofs, in Proceedings of the 7th {P}anhellenic {L}ogic {S}ymposium, Patras University, Greece, 2009, pp. 99–103.
, The NP-completeness of reflected fragments of justification logics, in Proceedings of {S}ymposium on {L}ogical {F}oundations of {C}omputer {S}cience ({LFCS}'09), 2009, vol. 5407, pp. 122-136.
2008
, Canonical completeness of infinitary mu, Journal of Logic and Algebraic Programming, vol. 76, pp. 270-292, 2008.
2007
, Cut-free common knowledge, Journal of Applied Logic, vol. 5, p. 681{–}689, 2007.
, Improving semantic query answering, in Proceedings of Database and Expert Systems Applications, 2007, vol. 4653, p. 671{–}679.
2006
, Deduction chains for common knowledge, Journal of Applied Logic, vol. 4, p. 331{–}357, 2006.