# Publications

Export 73 results:
Filters: Type is Conference Paper  [Clear All Filters]
2016
: A canonical model construction for intuitionistic distributed knowledge. In: Advances in Modal Logic 2016. College Publications (2016).
: Cyclic Proofs for Linear Temporal Logic. In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
: Probabilistic Justification Logic. In: Symposium on Logical Foundations in Computer Science 2016. Springer (2016).
Kokkinis, I.: The Complexity of Non-Iterated Probabilistic Justification Logic. In: Foundations of Information and Knowledge Systems -- FoIKS 2016. Springer (2016).
2014
: A Hennessy-Milner Property for Many-Valued Modal Logics. In: Advances in Modal Logic. pp. 407-420. College Publications (2014).
2012
: About the Strength of Operational Regularity. In: Logic, Construction, Computation. pp. 305-324. Ontos Verlag (2012).
: Cut-elimination for the mu-calculus with one variable. Fixed Points in Computer Science 2012. pp. 47-54. Open Publishing Association (2012).
: Justifications, Ontology, and Conservativity. In: Advances in Modal Logic, volume 9. pp. 437-458. College Publications (2012).
Studer, T.: Justified Terminological Reasoning. In: Proceedings of Perspectives of System Informatics PSI'11. pp. 349-361. Springer (2012).
: Weak theories of truth and explicit mathematics. In: Logic, Construction, Computation. pp. 157-184. Ontos Verlag (2012).
2011
Studer, T.: An application of justification logic to protocol verification. Proceedings of Computational Intelligence and Security CIS 2011. pp. 779-783. IEEE (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. pp. 35-51 (2011).
2010
: A Syntactic Realization Theorem for Justification Logics. In: Advances in Modal Logic, Volume 8. pp. 39-58. College Publications (2010).
McKinley, R.: Expansion nets: Proof nets for for propositional classical logic. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17). pp. 535-549. Springer Berlin / Heidelberg (2010).
: Justified Belief Change. In: Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10). pp. 135-155. University of the Basque Country Press (2010).
Jäger, G.: Modal Fixed Point Logics. In: Logics and Languages for Reliability and Security. IOS Press (2010).
Studer, T.: Privacy Preserving Modules for Ontologies. In: Proceedings of Perspectives of System Informatics PSI'09. pp. 380-387 (2010).
: Two Ways to Common Knowledge. In: Proceedings of the 6th Workshop on Methods for Modalities (M4M–6 2009), Copenhagen, Denmark, 12–14 November 2009. pp. 83-98. Elsevier (2010).
Strahm, T.: Weak theories of operations and types. In: Schindler, R. Ways of Proof Theory. pp. 441-468. Ontos Verlag (2010).
: $Σ^1_1$ choice in a theory of sets and classes. In: Schindler, R. Ways of Proof Theory. pp. 283-314. Ontos Verlag (2010).
2009
Kuznets, R.: A Note on the Use of Sum in the Logic of Proofs. In: Proceedings of the 7th Panhellenic Logic Symposium. pp. 99-103. Patras University Press, Patras University, Greece (2009).
: Data Privacy for ALC Knowledge Bases. In: Proceedings of Logical Foundations of Computer Science LFCS'09. pp. 409-421. Springer (2009).
: Logical Omniscience as a Computational Complexity Problem. In: Heifetz, A. Theoretical Aspects of Rationality and Knowledge, Proceedings of the Twelfth Conference (TARK 2009). pp. 14-23. ACM, Stanford University, California (2009).
: Modular Sequent Systems for Modal Logic. In: Tableaux 2009. Springer-Verlag (2009).
Jäger, G.: Operations, sets and classes. In: Logic, Methodology and Philosophy of Science - Proceedings of the Thirteenth International Congress. College Publications (2009).