Publications

 

Book

Book (as editor)

  • Advances in Proof Theory, jointly edited with Reinhard Kahle and Thomas Strahm, volume 28 of Progress in Computer Science and Applied Logic, Birkhäuser, 2016

Preprints

In journals

In conference proceedings and edited volumes

  • Justification logic with approximate conditional probabilities, joint paper with Zoran Ognjanović and Nenad Savić, to appear in Proceedings of LORI VI
  • The Proof Theory of Common knowledge, joint paper with Michel Marti, in H. van Ditmarsch and G. Sandu, editors, Jaakko Hintikka on knowledge and game theoretical semantics, Outstanding Contributions to Logic, Springer, in print
  • Temporal Justification Logic, joint paper with Samuel Bucheli and Meghdad Ghari, in S. Ghosh and R. Ramanujam, editors, Proceedings of Methods for Modalities M4M-9, volume 243 of EPTCS, pages 59-74, 2017
  • Cyclic Proofs for Linear Temporal Logic, joint paper with Ioannis Kokkinis, in D. Probst, P. Schuster, editors, Concepts of Proof in Mathematics, Philosophy, and Computer Science, volume 6 of Ontos Mathematical Logic, pages 171-192. De Gruyter, 2016
  • Probabilistic Justification Logic, joint paper with Ioannis Kokkinis and Zoran Ognjanović, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'16, volume 9537 of LNCS, pages 174-186. Springer, 2016
  • Decidability for Justification Logics Revisited, joint paper with Samuel Bucheli and Roman Kuznets, in G. Bezhanishvili, S. Löbner, V. Marra, F. Richter, editors, Logic, Language and Computation TbiLLC 2011, volume 7758 of LNCS, pages 166-181. Springer, 2013
  • Update As Evidence: Belief Expansion, joint paper with Roman Kuznets, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'13, volume 7734 of LNCS, pages 266-279. Springer, 2013
  • Justifications, Ontology, and Conservativity, joint paper with Roman Kuznets, in T. Bolander, T. Braüner, S. Ghilardi, L. Moss, editors, Advances in Modal Logic, volume 9, pages 437-458. College Publications, 2012
  • Justified Terminological Reasoning, in E. Clarke, I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'11, volume 7162 of LNCS, pages 349-361. Springer, 2012
  • Cut-elimination for the mu-calculus with one variable, joint paper with Grigori Mints, in Fixed Points in Computer Science 2012, volume 77 of EPTCS, pages 47–54. Open Publishing Association, 2012
  • An application of justification logic to protocol verification, in Proceedings of Computational Intelligence and Security CIS 2011, pages 779-783. IEEE, 2011
  • Partial Realization in Dynamic Justi cation Logic, joint paper with Samuel Bucheli and Roman Kuznets, in L. Beklemishev and R. de Queiroz, editors, Logic, Language, Information and Computation WOLLIC 2011, volume 6642 of LNCS, pages 35-51. Springer 2011
  • Justified Belief Change, joint paper with Samuel Bucheli, Roman Kuznets, Bryan Renne, and Joshua Sack, in X. Arrazola, M. Ponte, editors, Proceedings of Logic and Philosophy of Knowledge, Communication and Action, pages 135-155. Basque Country Press, 2010
  • Two ways to common knowledge, joint paper with Samuel Bucheli and Roman Kuznets, in T. Bolander, T. Braüner, editors, Proceedings of Methods for Modalities M4M6, volume 262 of ENTCS, pages 83-98. Elsevier, 2010
  • Privacy Preserving Modules for Ontologies, in A. Pnueli, I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'09, volume 5947 of LNCS, pages 380-387. Springer, 2010
  • Data Privacy for ALC Knowledge Bases, joint paper with Phiniki Stouppa, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'09, volume 5407 of LNCS, pages 409-421. Springer, 2009
  • Syntactic cut-elimination for common knowledge (superseded by the journal version), joint paper with Kai Brünnler, in C. Areces and S. Demri, editors, Proceedings of Methods for Modalities M4M5, volume 231 of ENTCS, pages 227-240. Elsevier 2009
  • Improving semantic query answering, joint paper with Norbert Kottmann, in R. Wagner, N. Revell, G. Pernul, editors, Proceedings of Database and Expert Systems Applications DEXA '07, volume 4653 of LNCS, pages 671-679. Springer, 2007
  • Total Public Announcements, joint paper with David Steiner, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'07, volume 4514 of LNCS, pages 498-511. Springer, 2007
  • A Formal Model of Data Privacy, joint paper with Phiniki Stouppa, in I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'06, volume 4378 of LNCS, pages 401-411. Springer, 2007
  • Cut-free Axiomatizations for Stratified Modal Fixed Point Logic, joint paper with Gerhard Jäger and Mathis Kretz, in H. Schlingloff, editor, Proceedings of Methods for Modalities 4, pages 125-143. 2005
  • Probabilistic ABox Reasoning: Preliminary Results, joint paper with Michael Dürig, in I. Horrocks, U. Sattler, F. Wolter, editors, Proceedings of Description Logics DL'05, pages 104-111. 2005
  • Provable Data Privacy, joint paper with Kilian Stoffel, in K. Viborg Andersen, J. Debenham, R. Wagner, editors, Proceedings of Database and Expert Systems Applications DEXA '05, volume 3588 of LNCS, pages 324-332. Springer, 2005.
  • Constructive Foundations for Featherweight Java, in R. Kahle, P. Schroeder-Heister, R. Stärk, editors, Proof Theory in Computer Science, volume 2183 of LNCS, pages 202-238. Springer, 2001
  • A theory of explicit mathematics equivalent to ID1, joint paper with Reinhard Kahle, in P. Clote, H. Schwichtenberg, editors, Computer Science Logic CSL 2000, volume 1862 of LNCS, pages 356-370. Springer, 2000

Theses

Others

. . . .