# Publications

Export 280 results:
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).
: Improving semantic query answering. In: Proceedings of Database and Expert Systems Applications. pp. 671-679. Springer (2007).
Wehbe, R.: Merging rule-based belief databases. In: Devedżić, V. Proceedings of Artificial Intelligence and Applications. pp. 585-589. ACTA Press (2007).
Jäger, G.: On Feferman's operational set theory $\mathsf{OST}$. Annals of Pure and Applied Logic. 150, 19-39 (2007).
: Total public announcements. In: Proceedings of Logical Foundations of Computer Science. pp. 498-511. Springer (2007).
2006
Wehbe, R.: A hybrid representation of knowledge and belief. Proceedings of Formal Approaches to Multi-Agent Systems (2006).
Steiner, D.: A system for consistency preserving belief change. In: Proceedings of Rationality and Knowledge. pp. 133-144. Association for Logic, Language and Information (2006).
Brünnler, K.: Cut elimination inside a deep inference system for classical predicate logic. Studia Logica. 82, 51-71 (2006).
: Deduction chains for common knowledge. Journal of Applied Logic. 4, 331-357 (2006).
Brünnler, K.: Deep inference and its normal form of derivations. In: Proceedings of Computability in Europe. pp. 65-74. Springer (2006).
Brünnler, K.: Deep sequent systems for modal logic. In: Proceedings of Advances in Modal Logic. pp. 107-119. College Publications (2006).