Publications

Export 9 results:

Filters: Year is 9998 [Clear All Filters]

In Press

R. McKinley, “Canonical proof nets for classical logic”, Annals of Pure and Applied Logic (Special Issue: Classical Logic and Computation), In Press.

S. Bucheli, R. Kuznets, and T. Studer, “Decidability for Justification Logics Revisited”, in Selected papers of Ninth International Tbilisi Symposium on Language, Logic and Computation, In Press.

G. Jäger, “Operational closure and stability”, Annals of Pure and Applied Logic, In Press.

Y. Savateev, “Proof Internalization for Generalized Frege Systems for Classical Logic”, Annals of Pure and Applied Logic, In Press.

R. McKinley, “Proof nets for Herbrand's Theorem”, ACM Transactions on Computational Logic, In Press.

S. Bucheli, R. Kuznets, and T. Studer, “Realizing Public Announcements by Justifications”, Journal of Computer and System Sciences, In Press.

Y. Savateev, “Sequent Calculus for Justifications”, Journal of Logic and Computation, In Press.

S. Eberhard and T. Strahm, “Unfolding feasible arithmetic and weak truth”, in Axiomatic Theories of Truth, In Press.

T. Studer, “A Universal Approach to Guarantee Data Privacy”, Logica Universalis, In Press.