Остановите войну!
for scientists:
default search action
Gerhard Jäger
- > Home > Persons > Gerhard Jäger
Publications
- 2016
- [j57]Gerhard Jäger, Michel Marti:
Intuitionistic common knowledge or belief. J. Appl. Log. 18: 150-163 (2016) - [c14]Gerhard Jäger, Michel Marti:
A canonical model construction for intuitionistic distributed knowledge. Advances in Modal Logic 2016: 420-434 - 2011
- [j51]Gerhard Jäger, Dieter Probst:
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Ann. Pure Appl. Log. 162(8): 647-660 (2011) - [j49]Gerhard Jäger, Thomas Studer:
A Buchholz Rule for Modal Fixed Point Logics. Logica Universalis 5(1): 1-19 (2011) - 2008
- [j46]Gerhard Jäger, Mathis Kretz, Thomas Studer:
Canonical completeness of infinitary mu. J. Log. Algebraic Methods Program. 76(2): 270-292 (2008) - 2007
- [j43]Gerhard Jäger, Mathis Kretz, Thomas Studer:
Cut-free common knowledge. J. Appl. Log. 5(4): 681-689 (2007) - 2005
- [j41]Luca Alberucci, Gerhard Jäger:
About cut elimination for logics of common knowledge. Ann. Pure Appl. Log. 133(1-3): 73-99 (2005) - [j40]Gerhard Jäger, Thomas Strahm:
Reflections on reflections in explicit mathematics. Ann. Pure Appl. Log. 136(1-2): 116-133 (2005) - [j39]Gerhard Jäger, Dieter Probst:
Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. 51(6): 642 (2005) - 2004
- [j36]Gerhard Jäger, Dieter Probst:
Variation on a theme of Schütte. Math. Log. Q. 50(3): 258-264 (2004) - 2002
- [j34]Gerhard Jäger, Thomas Studer:
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. Ann. Pure Appl. Log. 114(1-3): 79-101 (2002) - 2001
- [j32]Gerhard Jäger, Reinhard Kahle, Thomas Studer:
Universes in explicit mathematics. Ann. Pure Appl. Log. 109(3): 141-162 (2001) - [j29]Gerhard Jäger, Thomas Strahm:
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. J. Symb. Log. 66(2): 935-958 (2001) - 2000
- [j27]Gerhard Jäger, Thomas Strahm:
Fixed point theories and dependent choice. Arch. Math. Log. 39(7): 493-508 (2000) - 1999
- [j26]Gerhard Jäger, Thomas Strahm:
Bar Induction and omega Model Reflection. Ann. Pure Appl. Log. 97(1-3): 221-230 (1999) - [j25]Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm:
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64(1): 53-67 (1999) - 1996
- [j21]Solomon Feferman, Gerhard Jäger:
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Log. 79(1): 37-52 (1996) - [j20]Gerhard Jäger, Thomas Strahm:
Some Theories with Positive Induction of Ordinal Strength phi omega 0. J. Symb. Log. 61(3): 818-842 (1996) - 1995
- [j19]Gerhard Jäger, Thomas Strahm:
Second order theories with ordinals and elementary comprehension. Arch. Math. Log. 34(6): 345-375 (1995) - [j18]Gerhard Jäger, Thomas Strahm:
Totality in Applicative Theories. Ann. Pure Appl. Log. 74(2): 105-120 (1995) - [j17]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. Ann. Pure Appl. Log. 75(1-2): 1 (1995) - 1993
- [j14]Solomon Feferman, Gerhard Jäger:
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic 65(3): 243-263 (1993) - [j13]Gerhard Jäger, Robert F. Stärk:
The Defining Power of Stratified and Hierarchical Logic Programs. J. Log. Program. 15(1&2): 55-77 (1993) - [e2]Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter:
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Lecture Notes in Computer Science 702, Springer 1993, ISBN 3-540-56992-8 [contents] - 1992
- [e1]Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter:
Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings. Lecture Notes in Computer Science 626, Springer 1992, ISBN 3-540-55789-X [contents] - 1983
- [j3]Solomon Feferman, Gerhard Jäger:
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. J. Symb. Log. 48(1): 63-70 (1983)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-12 02:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint