Search the dblp DataBase
Gerhard Jäger :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gerhard Jäger Some Contributions to the Logical Analysis of Circumscrition. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:154-171 [Conf ] Gerhard Jäger Induction in the Elementary Theory of Types and Names. [Citation Graph (0, 0)][DBLP ] CSL, 1987, pp:118-128 [Conf ] Gerhard Jäger Proofs as Advanced and Powerful Tool. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1989, pp:783-790 [Conf ] Gerhard Jäger Anaphora and Quantification in Categorial Grammar. [Citation Graph (0, 0)][DBLP ] LACL, 1998, pp:70-89 [Conf ] Gerhard Jäger Notions of Nonmonotonic Derivability. [Citation Graph (0, 0)][DBLP ] Nonmonotonic and Inductive Logic, 1990, pp:74-84 [Conf ] Alain Heuerding , Gerhard Jäger , Stefan Schwendimann , Michael Seyfried Propositional Logics on the Computer. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1995, pp:310-323 [Conf ] Alain Heuerding , Gerhard Jäger , Michael Schwendimann , Michael Seyfried A Logics Workbench. [Citation Graph (0, 0)][DBLP ] AI Commun., 1996, v:9, n:2, pp:53-58 [Journal ] Luca Alberucci , Gerhard Jäger About cut elimination for logics of common knowledge. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:73-99 [Journal ] Sergei N. Artëmov , George Boolos , Erwin Engeler , Solomon Feferman , Gerhard Jäger , Albert Visser Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:1- [Journal ] Solomon Feferman , Gerhard Jäger Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1993, v:65, n:3, pp:243-263 [Journal ] Solomon Feferman , Gerhard Jäger Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:37-52 [Journal ] Gerhard Jäger An intensional fixed point theory over first order arithmetic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:197-213 [Journal ] Gerhard Jäger Fixed Points in Peano Arithmetic with Ordinals. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1993, v:60, n:2, pp:119-132 [Journal ] Gerhard Jäger , Thomas Studer Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:79-101 [Journal ] Gerhard Jäger , Thomas Strahm Reflections on reflections in explicit mathematics. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:116-133 [Journal ] Gerhard Jäger , Thomas Strahm Totality in Applicative Theories. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1995, v:74, n:2, pp:105-120 [Journal ] Gerhard Jäger , Thomas Strahm Bar Induction and omega Model Reflection. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:221-230 [Journal ] Gerhard Jäger , Reinhard Kahle , Thomas Studer Universes in explicit mathematics. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:141-162 [Journal ] Gerhard Jäger Lambek Grammars as Combinatory Categorial Grammars. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2001, v:9, n:6, pp:- [Journal ] Gerhard Jäger Annotations on the Consistency of the Closed World Assumption. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1990, v:8, n:3, pp:229-247 [Journal ] Gerhard Jäger , Robert F. Stärk The Defining Power of Stratified and Hierarchical Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1993, v:15, n:1&2, pp:55-77 [Journal ] Gerhard Jäger Some Notes on the Formal Properties of Bidirectional Optimality Theory. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2002, v:11, n:4, pp:427-451 [Journal ] Gerhard Jäger Residuation, Structural Rules and Context Freeness. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2004, v:13, n:1, pp:47-59 [Journal ] Solomon Feferman , Gerhard Jäger Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:1, pp:63-70 [Journal ] Brigitte Hösli , Gerhard Jäger About Some Symmetries of Negation. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:473-485 [Journal ] Gerhard Jäger First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2001, v:66, n:3, pp:1073-1089 [Journal ] Gerhard Jäger The Strength of Admissibility Without Foundation. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:3, pp:867-879 [Journal ] Gerhard Jäger A Boundedness Theorem In mathrmID1 (W). [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:4, pp:942-947 [Journal ] Gerhard Jäger Power Types in Explicit Mathematics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:4, pp:1142-1146 [Journal ] Gerhard Jäger , Reinhard Kahle , Anton Setzer , Thomas Strahm The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1999, v:64, n:1, pp:53-67 [Journal ] Gerhard Jäger , Barbara Primo About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1992, v:57, n:3, pp:1108-1119 [Journal ] Gerhard Jäger , Thomas Strahm Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2001, v:66, n:2, pp:935-958 [Journal ] Gerhard Jäger , Thomas Strahm Some Theories with Positive Induction of Ordinal Strength phi omega 0 . [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:3, pp:818-842 [Journal ] Gerhard Jäger , Dieter Probst Variation on a theme of Schütte. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2004, v:50, n:3, pp:258-264 [Journal ] Gerhard Jäger , Dieter Probst Corrigendum to "Variation on a theme of Schütte". [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2005, v:51, n:6, pp:642- [Journal ] Editorial Logic Colloquium '95, Haifa, Israel. [Citation Graph (, )][DBLP ] Fixed point theories and dependent choice. [Citation Graph (, )][DBLP ] On Feferman's operational set theory OST. [Citation Graph (, )][DBLP ] Full operational set theory with unbounded existential quantification and power set. [Citation Graph (, )][DBLP ] Search in 0.009secs, Finished in 0.010secs