# Publications

Export 70 results:
Filters: Type is Conference Paper  [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.
, Unfolding feasible arithmetic and weak truth, in Axiomatic Theories of Truth, In Press.
2012
, About the Strength of Operational Regularity, in Logic, Construction, Computation, 2012, pp. 305–324.
, 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.
T. Studer, Justified Terminological Reasoning, in Proceedings of Perspectives of System Informatics PSI'11, 2012, vol. 7162, pp. 349-361.
, Weak theories of truth and explicit mathematics, in Logic, Construction, Computation, 2012, pp. 157–184.
2011
T. Studer, An application of justification logic to protocol verification, in Proceedings of Computational Intelligence and Security CIS 2011, 2011, p. 779{–}783.
, 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
R. McKinley, Expansion nets: Proof nets for for propositional classical logic, in Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17), 2010, vol. 6397, pp. 535-549.
, 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.
G. Jäger, Modal Fixed Point Logics, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.
T. Studer, Privacy Preserving Modules for Ontologies, in Proceedings of {P}erspectives of {S}ystem {I}nformatics {PSI}'09, 2010, vol. 5947, p. 380{–}387.
, 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.
T. Strahm, Weak theories of operations and types, in Ways of {P}roof {T}heory, 2010, pp. 441–468.
, $Σ^1_1$ choice in a theory of sets and classes, in Ways of {P}roof {T}heory, 2010, pp. 283–314.
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.
, 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.
, Modular Sequent Systems for Modal Logic, in Tableaux 2009, 2009, vol. 5607.
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.
G. Jäger, Operations, sets and classes, in Logic, {M}ethodology and {P}hilosophy of {S}cience - {P}roceedings of the {T}hirteenth {I}nternational {C}ongress, 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.
2008
, An Algorithmic Interpretation of a Deep Inference System, in LPAR 2008, 2008, vol. 5330, p. 482–-496.