# Publications

Export 6 results:
Filters: First Letter Of Title is I  [Clear All Filters]
2008
T. Strahm, Introduction, Dialectica, vol. 62, pp. 145–147, 2008.
2007
, Improving semantic query answering, in Proceedings of Database and Expert Systems Applications, 2007, vol. 4653, p. 671{–}679.
2004
G. Jäger, An intensional fixed point theory over first order arithmetic, Annals of Pure and Applied Logic, vol. 128, p. 197{–}213, 2004.
, Iterating $Σ$ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo, in One Hundred Years of Russell's Paradox. Papers from the 2001 Munich Russell Conference, 2004, p. 119{–}134.
2002
P. Keller, Information Flow – Logics for the (R)age of Information. Universität Bern, 2002.
, Intuitionistic fixed point theories for strictly positive operators, Mathematical Logic Quarterly, vol. 48, p. 195{–}202, 2002.