Publications

Export 291 results:
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).
Steiner, D., Studer, T.: Total public announcements. In: Artemov, S. and Nerode, A. 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: Artemov, S. and Parikh, R. 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).
Kretz, M., Studer, T.: 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: Beckmann, A., Berger, U., Löwe, B., and Tucker, J.V. Proceedings of Computability in Europe. pp. 65-74. Springer (2006).
Brünnler, K.: Deep sequent systems for modal logic. In: Governatori, G., Hodkinson, I., and Venema, Y. Proceedings of Advances in Modal Logic. pp. 107-119. College Publications (2006).
Kottmann, N.: Description Logic Query Answering with Relational Databases. (2006).
Krähenbühl, J.: Explicit Mathematics with Positive Existential Comprehension and Join. (2006).
Brünnler, K.: Locality for classical logic. Notre Dame Journal of Formal Logic. 47, 557-580 (2006).
Steiner, D., Strahm, T.: On the proof theory of type two functionals based on primitive recursive operations. Mathematical Logic Quarterly. 52, 237-252 (2006).
Kretz, M.: Proof-Theoretic Aspects of Modal Logic with Fixed Points. (2006).
Wehbe, R.: Revising non-monotonic rule-based belief databases. Proceedings of Belief Revision, Belief Merging and Social Choice (2006).
Probst, D.: The proof-theoretic analysis of transfinitely iterated quasi least fixed points. The Journal of Symbolic Logic. 71, 721-746 (2006).
2005
Alberucci, L., Jäger, G.: About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic. 133, 73-99 (2005).
Spescha, D.: ALOE – A Graphical Editor for OWL Ontologies. (2005).
Jäger, G., Kretz, M., Studer, T.: Cut-free axiomatizations for stratified modal fixed point logic. In: Schlingloff, H. Proceedings of Methods for Modalities 4. pp. 125-143. Humboldt-Universität Berlin (2005).
Ostrin, G.E., Wainer, S.S.: Elementary Arithmetic. Annals of Pure and Applied Logic. 133, 275-292 (2005).
Studer, T.: Explicit mathematics: power types and overloading. Annals of Pure and Applied Logic. 134, 284-302 (2005).
Dürig, M.: $\mathcal{PALC}$: Extending $\mathcal{ALC}$ ABoxes with Probabilities. (2005).
Sonderegger, D.: $\mathsf{PLTL}$ – Vollständigkeit und Modell-Konstruktion. (2005).
Jäger, G.: Metapredicative and explicit Mahlo: a proof-theoretic perspective. In: Cori, R., Razborov, A., Todorcevic, S., and Wood, C. Proceedings of Logic Colloquium '00. pp. 272-293. AK Peters (2005).
Salipante, V.: On the Consistency Strength of the Strict $\Pi^1_1$ Reflection Principle. (2005).

Pages