Publications
Export 48 results:
Filters: First Letter Of Last Name is K [Clear All Filters]
, “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.
, “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.
, “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.
, “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.
, “On the Relationship between Choice Schemes and Iterated Class Comprehension in Set Theory”. Universität Bern, 2011.
, “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.
, “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.
, “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.
, “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.
, “Canonical completeness of infinitary mu”, Journal of Logic and Algebraic Programming, vol. 76, pp. 270-292, 2008.
, “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.
, “Deduction chains for common knowledge”, Journal of Applied Logic, vol. 4, p. 331{–}357, 2006.