Publications
Export 70 results:
Filters: Type is Conference Paper [Clear All Filters]
, “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.
, “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.
, “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.
, “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.
, “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.
, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.
, “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.
, “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.
, “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.
, “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.
, “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.
, “An Algorithmic Interpretation of a Deep Inference System”, in LPAR 2008, 2008, vol. 5330, p. 482–-496.