# Publications

Export 300 results:
2017
: The Strength of the SCT Criterion. In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. pp. 260-273 (2017).
: Theory and Applications of Models of Computation TAMC 2017. Springer International Publishing, Cham (2017).
2016
: A canonical model construction for intuitionistic distributed knowledge. In: Advances in Modal Logic 2016. College Publications (2016).
: Advances in Proof Theory. Birkhäuser (2016).
: Concepts of Proof in Mathematics, Philosophy, and Computer Science. Walter De Gruyter Incorporated (2016).
: Cyclic Proofs for Linear Temporal Logic. In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
: Intuitionistic common knowledge or belief. Journal of Applied Logic. 18, (2016).
: Intuitionistic modal logic made explicit. IfCoLog Journal of Logics and their Applications. 3, 877-901 (2016).
: Probabilistic Justification Logic. In: Symposium on Logical Foundations in Computer Science 2016. Springer (2016).
Studer, T.: Relationale Datenbanken: Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL. Springer Berlin Heidelberg (2016).
Jäger, G.: Relativizing operational set theory. The Bulletin of Symbolic Logic. 22, 332-352 (2016).
: Reverse mathematical bounds for the Termination Theorem. Annals of Pure and Applied Logic. (2016).
Kokkinis, I.: The Complexity of Non-Iterated Probabilistic Justification Logic. In: Foundations of Information and Knowledge Systems -- FoIKS 2016. Springer (2016).
: Theories of proof-theoretic strength $\psi$($\Gamma_{\Omega+1}$). In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
: Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL. 24, 424-440 (2016).