Gerhard Jäger

	2012
54		Gerhard Jäger: Power Laws and Other heavy-Tailed Distributions in Linguistic Typology. Advances in Complex Systems 15(3-4): (2012)
53		Michael Franke, Gerhard Jäger: Bidirectional Optimization from Reasoning and Learning in Games. Journal of Logic, Language and Information 21(1): 117-139 (2012)
	2011
52		Gerhard Jäger, Dieter Probst: The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Ann. Pure Appl. Logic 162(8): 647-660 (2011)
51		Gerhard Jäger, Lars P. Metzger, Frank Riedel: Voronoi languages: Equilibria in cheap-talk games with high-dimensional types and few signals. Games and Economic Behavior 73(2): 517-537 (2011)
	2010
50		Christian Ebert, Gerhard Jäger, Jens Michaelis: The Mathematics of Language, 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers Springer 2010
49		Michael Franke, Gerhard Jäger, Robert van Rooij: Vagueness, Signaling and Bounded Rationality. JSAI-isAI Workshops 2010: 45-59
48		Gerhard Jäger: Modal Fixed Point Logics. Logics and Languages for Reliability and Security 2010: 129-154
	2009
47		Gerhard Jäger: Natural Color Categories Are Convex Sets. Amsterdam Colloquium on Logic, Language and Meaning 2009: 11-20
46		Gerhard Jäger: Full operational set theory with unbounded existential quantification and power set. Ann. Pure Appl. Logic 160(1): 33-52 (2009)
	2008
45		Gerhard Jäger, Mathis Kretz, Thomas Studer: Canonical completeness of infinitary mu. J. Log. Algebr. Program. 76(2): 270-292 (2008)
44		Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi: Preface. J. Log. Algebr. Program. 76(2): (2008)
	2007
43		Gerhard Jäger: On Feferman's operational set theory OST. Ann. Pure Appl. Logic 150(1-3): 19-39 (2007)
42		Gerhard Jäger, Mathis Kretz, Thomas Studer: Cut-free common knowledge. J. Applied Logic 5(4): 681-689 (2007)
41		Gerhard Jäger, Robert van Rooij: Language structure: psychological and social constraints. Synthese 159(1): 99-130 (2007)
	2005
40		Luca Alberucci, Gerhard Jäger: About cut elimination for logics of common knowledge. Ann. Pure Appl. Logic 133(1-3): 73-99 (2005)
39		Gerhard Jäger, Thomas Strahm: Reflections on reflections in explicit mathematics. Ann. Pure Appl. Logic 136(1-2): 116-133 (2005)
38		Gerhard Jäger, Dieter Probst: Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. 51(6): 642 (2005)
	2004
37		Gerhard Jäger: An intensional fixed point theory over first order arithmetic. Ann. Pure Appl. Logic 128(1-3): 197-213 (2004)
36		Gerhard Jäger: Residuation, Structural Rules and Context Freeness. Journal of Logic, Language and Information 13(1): 47-59 (2004)
35		Gerhard Jäger, Dieter Probst: Variation on a theme of Schütte. Math. Log. Q. 50(3): 258-264 (2004)
	2003
34		Gerhard Jäger: Recursion by optimization: on the complexity of bidirectional optimality theory. Natural Language Engineering 9(1): 21-38 (2003)
	2002
33		Gerhard Jäger, Thomas Studer: Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. Ann. Pure Appl. Logic 114(1-3): 79-101 (2002)
32		Gerhard Jäger: Some Notes on the Formal Properties of Bidirectional Optimality Theory. Journal of Logic, Language and Information 11(4): 427-451 (2002)
	2001
31		Gerhard Jäger, Reinhard Kahle, Thomas Studer: Universes in explicit mathematics. Ann. Pure Appl. Logic 109(3): 141-162 (2001)
30		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)
29		Gerhard Jäger: First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. J. Symb. Log. 66(3): 1073-1089 (2001)
28		Gerhard Jäger: Lambek Grammars as Combinatory Categorial Grammars. Logic Journal of the IGPL 9(6): 781-792 (2001)
	2000
27		Gerhard Jäger, Thomas Strahm: Fixed point theories and dependent choice. Arch. Math. Log. 39(7): 493-508 (2000)
	1999
26		Gerhard Jäger, Thomas Strahm: Bar Induction and omega Model Reflection. Ann. Pure Appl. Logic 97(1-3): 221-230 (1999)
25		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)
	1998
24		Gerhard Jäger: Anaphora and Quantification in Categorial Grammar. LACL 1998: 70-89
23		Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer: Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. 37(5-6): 273 (1998)
	1997
22		Gerhard Jäger: Power Types in Explicit Mathematics. J. Symb. Log. 62(4): 1142-1146 (1997)
	1996
21		Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried: A Logics Workbench. AI Commun. 9(2): 53-58 (1996)
20		Solomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Logic 79(1): 37-52 (1996)
19		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
18		Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried: Propositional Logics on the Computer. TABLEAUX 1995: 310-323
17		Gerhard Jäger, Thomas Strahm: Totality in Applicative Theories. Ann. Pure Appl. Logic 74(2): 105-120 (1995)
16		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. Logic 75(1-2): 1 (1995)
	1994
15		Brigitte Hösli, Gerhard Jäger: About Some Symmetries of Negation. J. Symb. Log. 59(2): 473-485 (1994)
	1993
14		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 Springer 1993
13		Gerhard Jäger: Fixed Points in Peano Arithmetic with Ordinals. Ann. Pure Appl. Logic 60(2): 119-132 (1993)
12		Solomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic 65(3): 243-263 (1993)
11		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)
	1992
10		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 Springer 1992
9		Gerhard Jäger, Barbara Primo: About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. J. Symb. Log. 57(3): 1108-1119 (1992)
	1990
8		Gerhard Jäger: Notions of Nonmonotonic Derivability. Nonmonotonic and Inductive Logic 1990: 74-84
7		Gerhard Jäger: Annotations on the Consistency of the Closed World Assumption. J. Log. Program. 8(3): 229-247 (1990)
	1989
6		Gerhard Jäger: Proofs as Advanced and Powerful Tool. IFIP Congress 1989: 783-790
	1987
5		Gerhard Jäger: Induction in the Elementary Theory of Types and Names. CSL 1987: 118-128
	1986
4		Gerhard Jäger: Some Contributions to the Logical Analysis of Circumscrition. CADE 1986: 154-171
3		Gerhard Jäger: A Boundedness Theorem In mathrmID1 (W). J. Symb. Log. 51(4): 942-947 (1986)
	1984
2		Gerhard Jäger: The Strength of Admissibility Without Foundation. J. Symb. Log. 49(3): 867-879 (1984)
	1983
1		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)

Coauthor Index

1	Luca Alberucci	[40]
2	Sergei N. Artëmov	[16]
3	George Boolos	[16]
4	Egon Börger	[10] [14]
5	Vasco Brattka	[44]
6	Hans Kleine Büning	[10] [14]
7	Christian Ebert	[50]
8	Erwin Engeler	[16]
9	Solomon Feferman	[1] [12] [16] [20]
10	Michael Franke	[49] [53]
11	Alain Heuerding	[18] [21]
12	Brigitte Hösli	[15]
13	Reinhard Kahle	[25] [31]
14	Mathis Kretz	[42] [45]
15	Hans-Peter A. Künzi	[44]
16	Simone Martini	[14]
17	Lars P. Metzger	[51]
18	Jens Michaelis	[50]
19	Wolfram Pohlers	[23]
20	Barbara Primo	[9]
21	Dieter Probst	[35] [38] [52]
22	Michael M. Richter	[10] [14]
23	Frank Riedel	[51]
24	Robert van Rooij	[41] [49]
25	Michael Schwendimann	[21]
26	Stefan Schwendimann	[18]
27	Anton Setzer	[25]
28	Michael Seyfried	[18] [21]
29	Robert F. Stärk	[11]
30	Thomas Strahm	[17] [19] [25] [26] [27] [30] [39]
31	Thomas Studer	[31] [33] [42] [45]
32	Albert Visser	[16]
33	Stanley S. Wainer	[23]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page