Publications

Export 291 results:
2008
Brünnler, K., McKinley, R.: An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, I., Veith, H., and Voronkov, A. LPAR 2008. pp. 482-496. Springer-Verlag (2008).
Larrzabal, C.: Automatic Model Checking of UML models. (2008).
Jäger, G., Kretz, M., Studer, T.: Canonical completeness of infinitary mu. Journal of Logic and Algebraic Programming. 76, 270-292 (2008).
Brünnler, K., Lange, M.: Cut-free sequent systems for temporal logic. Journal of Logic and Algebraic Programming. 76, 216-225 (2008).
Bucheli, S.: Explicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions. (2008).
Strahm, T.: Gödel's Dialectica Interpretation. Wiley (2008).
Strahm, T.: Introduction. Dialectica. 62, 145-147 (2008).
Brünnler, K., Probst, D., Studer, T.: 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).
Goetschi, R.: Polytime Functions in Two-Sorted Bounded Arithmetic. (2008).
Strahm, T., Zucker, J.I.: 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).
Liniger, S.: The Basic Feasible Functionals in Bounded Arithmetic. (2008).
2007
Stouppa, P.: A deep inference system for the modal logic $\mathsf S5$. Studia Logica. 85, 199-214 (2007).
Stouppa, P., Studer, T.: A formal model of data privacy. In: Virbitskaite, I. and Voronkov, A. Proceedings of Perspectives of System Informatics. pp. 401-411. Springer (2007).
Alberucci, L.: A syntactical treatment of simultaneous fixpoints in the modal $μ$-calculus. (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).
Jäger, G., Kretz, M., Studer, T.: Cut-free common knowledge. Journal of Applied Logic. 5, 681-689 (2007).
Kottmann, N., Studer, T.: Improving semantic query answering. In: Wagner, R., Revell, N., and Pernul, G. Proceedings of Database and Expert Systems Applications. pp. 671-679. Springer (2007).

Pages