Publications
Export 46 results:
Filters: Author is Thomas Studer [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.
, “A Universal Approach to Guarantee Data Privacy”, Logica Universalis, 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.
, “Cut-elimination for the mu-calculus with one variable”, in Fixed Points in Computer Science 2012, 2012, vol. 77, pp. 47–54.
, “Justifications, Ontology, and Conservativity”, in Advances in Modal Logic, volume 9, 2012, pp. 437–458.
, “Justified Terminological Reasoning”, in Proceedings of Perspectives of System Informatics PSI'11, 2012, vol. 7162, pp. 349-361.
, “Syntactic cut-elimination for a fragment of the modal mu-calculus”, Annals of Pure and Applied Logic, vol. 163, pp. 1838–1853, 2012.
, “An application of justification logic to protocol verification”, in Proceedings of Computational Intelligence and Security CIS 2011, 2011, p. 779{–}783.
, “A Buchholz rule for modal fixed point logics”, Logica Universalis, vol. 5, no. 1, pp. 1-19, 2011.
, “Justification Logic, Inference Tracking, and Data Privacy”, Logic and Logical Philosophy, vol. 20, pp. 297-306, 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.
, “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.
, “Privacy Preserving Modules for Ontologies”, in Proceedings of {P}erspectives of {S}ystem {I}nformatics {PSI}'09, 2010, vol. 5947, p. 380{–}387.
, “Proof-Theoretic Contributions to Modal Fixed Point Logics”. Universität Bern, 2010.
, “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.
, “Common knowledge does not have the Beth property”, Information Processing Letters, vol. 109, pp. 611–614, 2009.
, “Data Privacy for ALC Knowledge Bases”, in Proceedings of {L}ogical {F}oundations of {C}omputer {S}cience {LFCS}'09, 2009, vol. 5407, pp. 409–421.
, “Syntactic cut-elimination for common knowledge”, Annals of Pure and Applied Logic, vol. 160, pp. 82-95, 2009.
, “Syntactic cut-elimination for common knowledge”, in Proceedings of {M}ethods for {M}odalities {M}4{M}5, 2009, vol. 231, pp. 227–240.
, “Canonical completeness of infinitary mu”, Journal of Logic and Algebraic Programming, vol. 76, pp. 270-292, 2008.
, “On contraction and the modal fragment”, Mathematical Logic Quarterly, vol. 54, pp. 345–349, 2008.