Export 280 results:
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).
Probst, D.: On the relationship between fixed points and iteration in admissible set theory without foundation. Archive for Mathematical Logic. 44, 561-580 (2005).
Brünnler, K., Lengrand, S.: On two forms of bureaucracy in derivations. In: Bruscoli, P., Lamarche, F., and Stewart, C. Proceedings of Structures and Deduction. pp. 65-74. Technische Universität Dresden (2005).
Studer, T.: Papers in Explicit Mathematics. (2005).
Dürig, M., Studer, T.: Probabilistic ABox reasoning: preliminary results. In: Horrocks, I., Sattler, U., and Wolter, F. Proceedings of Description Logics '05. pp. 104-111. (2005).
Stoffel, K., Studer, T.: Provable data privacy. In: Andersen, K.V., Debenham, J.K., and Wagner, R. Proceedings of 16th International Conference on Database and Expert Systems Applications. pp. 324-332. Springer (2005).
Probst, D.: Pseudo-Hierarchies in Admissible Set Theory without Foundation and Explicit Mathematics. (2005).
Jäger, G., Strahm, T.: Reflections on reflections in explicit mathematics. Annals of Pure and Applied Logic. 136, 116-133 (2005).
Studer, T.: Relational representation of $\mathcal{ALN}$ knowledge bases. In: Isaías, P., Nunes, M.B., and dos Reis, A.P. Proceedings of Multi '05. pp. 271-278. International Association for Development of the Information Society (2005).
Wirz, M.: Wellordering Two Sorts: A Slow-Growing Proof Theory for Variable Separation. (2005).