The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gerhard Jäger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gerhard Jäger
    Some Contributions to the Logical Analysis of Circumscrition. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:154-171 [Conf]
  2. Gerhard Jäger
    Induction in the Elementary Theory of Types and Names. [Citation Graph (0, 0)][DBLP]
    CSL, 1987, pp:118-128 [Conf]
  3. Gerhard Jäger
    Proofs as Advanced and Powerful Tool. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:783-790 [Conf]
  4. Gerhard Jäger
    Anaphora and Quantification in Categorial Grammar. [Citation Graph (0, 0)][DBLP]
    LACL, 1998, pp:70-89 [Conf]
  5. Gerhard Jäger
    Notions of Nonmonotonic Derivability. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic and Inductive Logic, 1990, pp:74-84 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]

  36. Editorial Logic Colloquium '95, Haifa, Israel. [Citation Graph (, )][DBLP]


  37. Fixed point theories and dependent choice. [Citation Graph (, )][DBLP]


  38. On Feferman's operational set theory OST. [Citation Graph (, )][DBLP]


  39. Full operational set theory with unbounded existential quantification and power set. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002