# Publications

Export 55 results:
Filters: Author is Gerhard Jäger  [Clear All Filters]
In Press
Strahm, T.: Unfolding schematic systems. In: Feferman on Foundations - Logic, Mathematics, Philosophy. Springer (In Press).
2016
: A canonical model construction for intuitionistic distributed knowledge. In: Advances in Modal Logic 2016. College Publications (2016).
: Intuitionistic common knowledge or belief. Journal of Applied Logic. 18, (2016).
Jäger, G.: Relativizing operational set theory. The Bulletin of Symbolic Logic. 22, 332-352 (2016).
: Theories of proof-theoretic strength $\psi$($\Gamma_{\Omega+1}$). In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
2015
: A proof-theoretic analysis of theories for stratified inductive definitions. In: Gentzen's Centenary: The Quest for Consistency. Springer (2015).
2014
: Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic. 20, 275-292 (2014).
2013
Jäger, G.: Operational closure and stability. Annals of Pure and Applied Logic. 164, 813-821 (2013).
2012
: About the Strength of Operational Regularity. In: Logic, Construction, Computation. pp. 305-324. Ontos Verlag (2012).
2011
: A Buchholz rule for modal fixed point logics. Logica Universalis. 5, 1-19 (2011).
: The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories. Annals of Pure and Applied logic. 162, 647-660 (2011).
2010
Jäger, G.: Modal Fixed Point Logics. In: Logics and Languages for Reliability and Security. IOS Press (2010).
: $Σ^1_1$ choice in a theory of sets and classes. In: Schindler, R. Ways of Proof Theory. pp. 283-314. Ontos Verlag (2010).
2009
Jäger, G.: Full operational set theory with unbounded existential quantification and power set. Annals of Pure and Applied Logic. 160, 33-52 (2009).
Jäger, G.: Operations, sets and classes. In: Logic, Methodology and Philosophy of Science - Proceedings of the Thirteenth International Congress. College Publications (2009).
2008
: Canonical completeness of infinitary mu. Journal of Logic and Algebraic Programming. 76, 270-292 (2008).
2007
: Cut-free common knowledge. Journal of Applied Logic. 5, 681-689 (2007).
Jäger, G.: On Feferman's operational set theory $\mathsf{OST}$. Annals of Pure and Applied Logic. 150, 19-39 (2007).
2005
: About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic. 133, 73-99 (2005).
: 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).
Jäger, G.: Metapredicative and explicit Mahlo: a proof-theoretic perspective. In: Proceedings of Logic Colloquium '00. pp. 272-293. AK Peters (2005).
: Reflections on reflections in explicit mathematics. Annals of Pure and Applied Logic. 136, 116-133 (2005).
2004
Jäger, G.: An intensional fixed point theory over first order arithmetic. Annals of Pure and Applied Logic. 128, 197-213 (2004).