Search results for "Gerhard Jäger"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michael Franke, Gerhard Jäger	Bidirectional Optimization from Reasoning and Learning in Games.	Journal of Logic, Language and Information	2012	DBLP DOI BibTeX RDF
1	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	2011	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Dieter Probst	The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Modal Fixed Point Logics.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
1	Christian Ebert, Gerhard Jäger, Jens Michaelis (eds.)	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	MOL	2010	DBLP DOI BibTeX RDF
1	Michael Franke, Gerhard Jäger, Robert van Rooij	Vagueness, Signaling and Bounded Rationality.	JSAI-isAI Workshops	2010	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Full operational set theory with unbounded existential quantification and power set.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Natural Color Categories Are Convex Sets.	Amsterdam Colloquium on Logic, Language and Meaning	2009	DBLP DOI BibTeX RDF
1	Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi	Preface.	J. Log. Algebr. Program.	2008	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Mathis Kretz, Thomas Studer	Canonical completeness of infinitary mu.	J. Log. Algebr. Program.	2008	DBLP DOI BibTeX RDF
1	Gerhard Jäger	On Feferman's operational set theory OST.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Mathis Kretz, Thomas Studer	Cut-free common knowledge.	J. Applied Logic	2007	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Robert van Rooij	Language structure: psychological and social constraints.	Synthese	2007	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Dieter Probst	Corrigendum to "Variation on a theme of Schütte".	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Thomas Strahm	Reflections on reflections in explicit mathematics.	Ann. Pure Appl. Logic	2005	DBLP DOI BibTeX RDF
1	Luca Alberucci, Gerhard Jäger	About cut elimination for logics of common knowledge.	Ann. Pure Appl. Logic	2005	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Dieter Probst	Variation on a theme of Schütte.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
1	Gerhard Jäger	An intensional fixed point theory over first order arithmetic.	Ann. Pure Appl. Logic	2004	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Residuation, Structural Rules and Context Freeness.	Journal of Logic, Language and Information	2004	DBLP DOI BibTeX RDF	generative capacity, mathematical linguistics, multimodal type logical grammar, categorial grammar
1	Gerhard Jäger	Recursion by optimization: on the complexity of bidirectional optimality theory.	Natural Language Engineering	2003	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Thomas Studer	Extending the system T0 of explicit mathematics: the limit and Mahlo axioms.	Ann. Pure Appl. Logic	2002	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Some Notes on the Formal Properties of Bidirectional Optimality Theory.	Journal of Logic, Language and Information	2002	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Lambek Grammars as Combinatory Categorial Grammars.	Logic Journal of the IGPL	2001	DBLP DOI BibTeX RDF
1	Gerhard Jäger	First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo.	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Gerhard Jäger, Thomas Strahm	Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory.	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Gerhard Jäger, Reinhard Kahle, Thomas Studer	Universes in explicit mathematics.	Ann. Pure Appl. Logic	2001	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Thomas Strahm	Fixed point theories and dependent choice.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm	The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.	J. Symb. Log.	1999	DBLP BibTeX RDF
1	Gerhard Jäger, Thomas Strahm	Bar Induction and omega Model Reflection.	Ann. Pure Appl. Logic	1999	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer	Editorial Logic Colloquium '95, Haifa, Israel.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Anaphora and Quantification in Categorial Grammar.	LACL	1998	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Power Types in Explicit Mathematics.	J. Symb. Log.	1997	DBLP BibTeX RDF
1	Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried	A Logics Workbench.	AI Commun.	1996	DBLP DOI BibTeX RDF
1	Gerhard Jäger, Thomas Strahm	Some Theories with Positive Induction of Ordinal Strength phi omega 0.	J. Symb. Log.	1996	DBLP BibTeX RDF
1	Solomon Feferman, Gerhard Jäger	Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II.	Ann. Pure Appl. Logic	1996	DBLP DOI BibTeX RDF
1	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	1995	DBLP BibTeX RDF
1	Gerhard Jäger, Thomas Strahm	Totality in Applicative Theories.	Ann. Pure Appl. Logic	1995	DBLP DOI BibTeX RDF
1	Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried	Propositional Logics on the Computer.	TABLEAUX	1995	DBLP BibTeX RDF
1	Brigitte Hösli, Gerhard Jäger	About Some Symmetries of Negation.	J. Symb. Log.	1994	DBLP BibTeX RDF
1	Gerhard Jäger, Robert F. Stärk	The Defining Power of Stratified and Hierarchical Logic Programs.	J. Log. Program.	1993	DBLP DOI BibTeX RDF
1	Solomon Feferman, Gerhard Jäger	Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I.	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Fixed Points in Peano Arithmetic with Ordinals.	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter (eds.)	Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers	CSL	1993	DBLP BibTeX RDF
1	Gerhard Jäger, Barbara Primo	About the Proof-Theoretic Ordinals of Weak Fixed Point Theories.	J. Symb. Log.	1992	DBLP BibTeX RDF
1	Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)	Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings	CSL	1992	DBLP BibTeX RDF
1	Gerhard Jäger	Annotations on the Consistency of the Closed World Assumption.	J. Log. Program.	1990	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Notions of Nonmonotonic Derivability.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
1	Gerhard Jäger	Proofs as Advanced and Powerful Tool.	IFIP Congress	1989	DBLP BibTeX RDF
1	Gerhard Jäger	Induction in the Elementary Theory of Types and Names.	CSL	1987	DBLP DOI BibTeX RDF
1	Gerhard Jäger	A Boundedness Theorem In mathrmID1 (W).	J. Symb. Log.	1986	DBLP BibTeX RDF
1	Gerhard Jäger	Some Contributions to the Logical Analysis of Circumscrition.	CADE	1986	DBLP DOI BibTeX RDF
1	Gerhard Jäger	The Strength of Admissibility Without Foundation.	J. Symb. Log.	1984	DBLP BibTeX RDF
1	Solomon Feferman, Gerhard Jäger	Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis.	J. Symb. Log.	1983	DBLP BibTeX RDF

Publications of "Gerhard Jäger" ( http://dblp.L3S.de/Authors/Gerhard_Jäger )