# Publications

Export 292 results:
2009
Alberucci, L.: Sequent calculi for the modal $μ$-calculus over $\mathsf {S5}$. Journal of Logic and Computation. (2009).
: Syntactic cut-elimination for common knowledge. Annals of Pure and Applied Logic. 160, 82-95 (2009).
: Syntactic cut-elimination for common knowledge. In: Proceedings of Methods for Modalities M4M5. pp. 227-240. Elsevier (2009).
: The modal $μ$-calculus hierarchy over restricted classes of transition systems. Journal of Symbolic Logic. 74, 1367-1400 (2009).
: The NP-completeness of reflected fragments of justification logics. In: Proceedings of Symposium on Logical Foundations of Computer Science (LFCS'09). pp. 122-136 (2009).
2008
: An Algorithmic Interpretation of a Deep Inference System. In: LPAR 2008. pp. 482-496. Springer-Verlag (2008).
: Canonical completeness of infinitary mu. Journal of Logic and Algebraic Programming. 76, 270-292 (2008).
: Cut-free sequent systems for temporal logic. Journal of Logic and Algebraic Programming. 76, 216-225 (2008).
Strahm, T.: Gödel's Dialectica Interpretation. Wiley (2008).
Strahm, T.: Introduction. Dialectica. 62, 145-147 (2008).
: On contraction and the modal fragment. Mathematical Logic Quarterly. 54, 345-349 (2008).
Studer, T.: On the proof theory of the modal mu-calculus. Studia Logica. 89, 343-363 (2008).
: Primitive recursive selection functions for existential assertions over abstract algebras. Journal of Logic and Algebraic Programming. 76, 175-197 (2008).
McKinley, R.: Soft linear set theory. Journal of Logic and Algebraic Programming. 76, 226-245 (2008).
2007
Stouppa, P.: A deep inference system for the modal logic $\mathsf S5$. Studia Logica. 85, 199-214 (2007).
: A formal model of data privacy. In: Proceedings of Perspectives of System Informatics. pp. 401-411. Springer (2007).
Wehbe, R.: Computing with common knowledge. In: del Pobil, A.P. Proceedings of Artificial Intelligence and Soft Computing. pp. 45-50. ACTA Press (2007).
: Cut-free common knowledge. Journal of Applied Logic. 5, 681-689 (2007).