Gerhard Jäger

发表

The evolution of convex categories

Gerhard Jäger, Gerhard Jäger, 2007 .

Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II

Gerhard Jäger, Solomon Feferman, 1996, Ann. Pure Appl. Log..

Game-Theoretical Pragmatics

Gerhard Jäger, Gerhard Jäger, 2010 .

Voronoi languages: Equilibria in cheap-talk games with high-dimensional types and few signals

Gerhard Jäger, Frank Riedel, Lars P. Metzger, 2011, Games Econ. Behav..

A Proof-Theoretic Framework for Logic Programming

Robert F. Stärk, Gerhard Jäger, R. Stärk, 1998 .

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories

Gerhard Jäger, Dieter Probst, 2011, Ann. Pure Appl. Log..

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994

Erwin Engeler, George Boolos, Albert Visser, 1995, Ann. Pure Appl. Log..

A Categorial Syntax for Verbs of Perception

Gerhard Jäger, Robin Clark, R. Clark, 2000 .

Natural Color Categories Are Convex Sets

Gerhard Jäger, Gerhard Jäger, 2009, Amsterdam Colloquium on Logic, Language and Meaning.

Language, Games, and Evolution - Trends in Current Research on Language and Game Theory

Gerhard Jäger, Anton Benz, Robert van Rooij, 2011, Language, Games, and Evolution.

The strength of admissibility without foundation

Gerhard Jäger, Gerhard Jäger, 1984, Journal of Symbolic Logic.

Phylogenetic Inference from Word Lists Using Weighted Alignment with Empirically Determined Weights

Gerhard Jäger, Gerhard Jäger, 2013 .

First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo

Gerhard Jäger, Gerhard Jäger, 2001, Journal of Symbolic Logic.

Fixed point theories and dependent choice

Gerhard Jäger, Thomas Strahm, 2000, Arch. Math. Log..

Mathematics of Language 10/11, Lecture Notes in Computer Science 6149

Marcus Kracht, Jens Michaelis, Gerhard Jäger, 2010 .

Canonical completeness of infinitary mu

Thomas Studer, Gerhard Jäger, Mathis Kretz, 2008, J. Log. Algebraic Methods Program..

Topics in dynamic semantics

Gerhard Jäger, 1996 .

A Buchholz Rule for Modal Fixed Point Logics

Thomas Studer, Gerhard Jäger, 2011, Logica Universalis.

Visual hull surface estimation

Gerhard Jäger, Phillip Milne, Fred Nicolls, 2004 .

Bidirectional Optimization from Reasoning and Learning in Games

Michael Franke, Gerhard Jäger, 2012, J. Log. Lang. Inf..

METAPREDICATIVE AND EXPLICIT MAHLO: A PROOF-THEORETIC PERSPECTIVE

Gerhard Jäger, Gerhard Jäger, 2001 .

Totality in Applicative Theories

Gerhard Jäger, Thomas Strahm, T. Strahm, 1995, Ann. Pure Appl. Log..

Between constructive mathematics and PROLOG

Gerhard Jäger, Gerhard Jäger, 1991, Arch. Math. Log..

Lambek Grammars as Combinatory Categorial Grammars

Gerhard Jäger, 2001, Log. J. IGPL.

Factoring lexical and phonetic phylogenetic characters from word lists

Johann-Mattis List, Gerhard Jäger, Johann-Mattis List, 2015 .

Some Proof Theory of First Order Logic Programming

Gerhard Jäger, Gerhard Jäger, 1997 .

Some Contributions to the Logical Analysis of Circumscrition

Gerhard Jäger, Gerhard Jäger, 1986, CADE.

Formal language theory: refining the Chomsky hierarchy

James Rogers, Gerhard Jäger, J. Rogers, 2012, Philosophical Transactions of the Royal Society B: Biological Sciences.

Intuitionistic common knowledge or belief

Gerhard Jäger, Michel Marti, 2016, J. Appl. Log..

A Logics Workbench

Gerhard Jäger, Alain Heuerding, Michael Schwendimann, 1996, AI Commun..

Global-scale phylogenetic linguistic inference from lexical resources

Gerhard Jäger, Gerhard Jäger, 2018, Scientific Data.

Proofs as Advanced and Powerful Tool

Gerhard Jäger, 1989, IFIP Congress.

Beweistheorie vonKPN

Gerhard Jäger, G. Jäger, 1980, Arch. Math. Log..

Selected Papers from the Workshop on Computer Science Logic

Hans Kleine Büning, Michael M. Richter, Egon Börger, 1992 .

Using support vector machines and state-of-the-art algorithms for phonetic alignment to identify cognates in multi-lingual wordlists

Gerhard Jäger, Johann-Mattis List, Pavel Sofroniev, 2017, EACL.

Investigating the effects of prestige on the diffusion of linguistic variants

Tao Gong, Gerhard Jäger, Monica Tamariz, 2011, CogSci.

Full operational set theory with unbounded existential quantification and power set

Gerhard Jäger, Gerhard Jäger, 2009, Ann. Pure Appl. Log..

Some Notes on the Formal Properties of Bidirectional Optimality Theory

Gerhard Jäger, Gerhard Jäger, 2002, J. Log. Lang. Inf..

Variation on a theme of Schütte

Gerhard Jäger, Dieter Probst, D. Probst, 2004, Math. Log. Q..

Corrigendum to "Variation on a theme of Schütte"

Gerhard Jäger, Dieter Probst, 2005, Math. Log. Q..

Using Statistics for Cross-linguistic Semantics: A Quantitative Investigation of the Typology of Colour Naming Systems

Gerhard Jäger, Gerhard Jäger, 2012, J. Semant..

A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic

Gerhard Jäger, Gerhard Jäger, 1984, Math. Log. Q..

Estimating and visualizing language similarities using weighted alignment and force-directed graph layout

Gerhard Jäger, 2012, EACL 2012.

Applications of Game Theory in Linguistics

Gerhard Jäger, Gerhard Jäger, 2008, Lang. Linguistics Compass.

Fast and unsupervised methods for multilingual cognate clustering pdf

Taraka Rama, Gerhard Jäger, Johannes Wahle, 2017, ArXiv.

Game Theory and Pragmatics

Gerhard Jäger, Anton Benz, Robert van Rooij, 2005 .

Language structure: psychological and social constraints

Gerhard Jäger, Robert van Rooij, R. Rooij, 2007, Synthese.

Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis

Gerhard Jäger, Solomon Feferman, 1983, J. Symb. Log..

On Applicative Theories

Gerhard Jäger, Thomas Strahm, Reinhard Kahle, 1999 .

Investigating the potential of ancestral state reconstruction algorithms in historical linguistics

Johann-Mattis List, Gerhard Jäger, Johann-Mattis List, 2016 .

A well-ordering proof for Feferman's theoryT0

Gerhard Jäger, Gerhard Jäger, 1983, Arch. Math. Log..

Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory

Gerhard Jäger, Thomas Strahm, 2001, J. Symb. Log..

An Infinitary Treatment of Full Mu-Calculus

Gerhard Jäger, Graham Emil Leigh, Bahareh Afshari, 2019, WoLLIC.

Propositional Logics on the Computer

Gerhard Jäger, Alain Heuerding, Michael Seyfried, 1995, TABLEAUX.

Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

Gerhard Jäger, G. Jäger, 1980, Arch. Math. Log..

Countable Admissible Ordinals and Dilators

Gerhard Jäger, 1986, Math. Log. Q..

Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I

Gerhard Jäger, Solomon Feferman, S. Feferman, 1993, Ann. Pure Appl. Logic.

Power Types in Explicit Mathematics

Gerhard Jäger, 1997, J. Symb. Log..

Learning Constraint Subhierarchies: The Bidirectional Gradual Learning Algorithm

Gerhard Jäger, Gerhard Jäger, 2004 .

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

Silvia Steila, Gerhard Jäger, Silvia Steila, 2018, The Journal of Symbolic Logic.

On Feferman's operational set theory OST

Gerhard Jäger, Gerhard Jäger, 2007, Ann. Pure Appl. Log..

Cut-free common knowledge

Thomas Studer, Gerhard Jäger, Mathis Kretz, 2007, J. Appl. Log..

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

Jens Michaelis, Gerhard Jäger, Christian Ebert, 2010, MOL.

Operational closure and stability

Gerhard Jäger, 2013, Ann. Pure Appl. Log..

A Deductive Approach to Logic Programming

Gerhard Jäger, Gerhard Jäger, 1995 .

Power Laws and Other heavy-Tailed Distributions in Linguistic Typology

Gerhard Jäger, Gerhard Jäger, 2012, Adv. Complex Syst..

Fixed Points in Peano Arithmetic with Ordinals

Gerhard Jäger, 1993, Ann. Pure Appl. Log..

Computational historical linguistics

Gerhard Jäger, Gerhard Jäger, 2018, Theoretical Linguistics.

A canonical model construction for intuitionistic distributed knowledge

Gerhard Jäger, Michel Marti, 2016, Advances in Modal Logic.

CONVEX MEANINGS AND EVOLUTIONARY STABILITY

Gerhard Jäger, 2006 .

Bar Induction and omega Model Reflection

Gerhard Jäger, Thomas Strahm, 1999, Ann. Pure Appl. Log..

Language, Games, and Evolution: An Introduction

Gerhard Jäger, Anton Benz, Robert van Rooij, 2011, Language, Games, and Evolution.

Vagueness, Signaling and Bounded Rationality

Michael Franke, Gerhard Jäger, Robert van Rooij, 2010, JSAI-isAI Workshops.

Towards automated language classification: a clustering approach

Gerhard Jäger, Andrei N. Lupas, Armin Buch, 2013 .

Proceedings of the 10th and 11th Biennial conference on The mathematics of language

Jens Michaelis, Gerhard Jäger, Christian Ebert, 2007 .

Annotations on the Consistency of the Closed World Assumption

Gerhard Jäger, Gerhard Jäger, 1990, J. Log. Program..

Editorial Logic Colloquium '95, Haifa, Israel

Gerhard Jäger, Stanley S. Wainer, Wolfram Pohlers, 1998, Arch. Math. Log..

Priming and unidirectional language change

Gerhard Jäger, Anette Rosenbach, Anette Rosenbach, 2008 .

Truncation and Semi-Decidability Notions in Applicative Theories

Gerhard Jäger, Sato Kentaro, Timotej Rosebrock, 2018, J. Symb. Log..

Anaphora and Quantification in Categorial Grammar

Gerhard Jäger, Gerhard Jäger, 1998, LACL.

Modal Fixed Point Logics

Gerhard Jäger, Gerhard Jäger, 2010, Logics and Languages for Reliability and Security.

Recursion by optimization: on the complexity of bidirectional optimality theory

Gerhard Jäger, 2003, Nat. Lang. Eng..

Grice, Occam, Darwin

Gerhard Jäger, Gerhard Jäger, 2016 .

About the Proof-Theoretic Ordinals of Weak Fixed Point Theories

Gerhard Jäger, Barbara Primo, 1992, J. Symb. Log..

Priming as a testing ground for historical linguists? – A reply to Chang, Eckardt and Traugott

Gerhard Jäger, Anette Rosenbach, Gerhard Jäger, 2008 .

Second order theories with ordinals and elementary comprehension

Gerhard Jäger, Thomas Strahm, 1995, Arch. Math. Log..

The Defining Power of Stratified and Hierarchical Logic Programs

Robert F. Stärk, Gerhard Jäger, 1993, J. Log. Program..

Extending the system T0 of explicit mathematics: the limit and Mahlo axioms

Thomas Studer, Gerhard Jäger, 2002, Ann. Pure Appl. Log..

About Some Symmetries of Negation

Gerhard Jäger, Brigitte Hösli, 1994, J. Symb. Log..

Some Theories with Positive Induction of Ordinal Strength phi omega 0

Gerhard Jäger, Thomas Strahm, 1996, J. Symb. Log..

Induction in the Elementary Theory of Types and Names

Gerhard Jäger, Gerhard Jäger, 1987, CSL.

An intensional fixed point theory over first order arithmetic

Gerhard Jäger, 2004, Ann. Pure Appl. Log..

Reflections on reflections in explicit mathematics

Gerhard Jäger, Thomas Strahm, 2005, Ann. Pure Appl. Log..

Topic‐Comment Structure and the Contrast Between Stage Level and Individual Level Predicates

Gerhard Jäger, Gerhard Jäger, 2001, J. Semant..

A Boundedness Theorem In mathrmID1 (W)

Gerhard Jäger, 1986, J. Symb. Log..

Residuation, Structural Rules and Context Freeness

Gerhard Jäger, Gerhard Jäger, 2002, J. Log. Lang. Inf..

Using ancestral state reconstruction methods for onomasiological reconstruction in multilingual word lists

Johann-Mattis List, Gerhard Jäger, Johann-Mattis List, 2018, Language Dynamics and Change.

ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

Gerhard Jäger, Gerhard Jäger, 1984, Arch. Math. Log..

Universes in explicit mathematics

Thomas Studer, Gerhard Jäger, Reinhard Kahle, 2001, Ann. Pure Appl. Log..

UC Merced Proceedings of the Annual Meeting of the Cognitive Science Society

Michael Franke, Judith Degen, Gerhard Jäger, 2013 .

The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories

Gerhard Jäger, Anton Setzer, Thomas Strahm, 1999, J. Symb. Log..

Notions of Nonmonotonic Derivability

Gerhard Jäger, Gerhard Jäger, 1990, Nonmonotonic and Inductive Logic.

About cut elimination for logics of common knowledge

Gerhard Jäger, Luca Alberucci, L. Alberucci, 2005, Ann. Pure Appl. Log..

Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic Reconstruction in Historical Linguistics? pdf

Taraka Rama, Gerhard Jäger, Johannes Wahle, 2018, NAACL.

Short note: Least fixed points versus least closed points

Gerhard Jäger, 2021, Arch. Math. Log..

Phylogenetic Typology

Gerhard Jäger, Johannes Wahle, 2021, Frontiers in Psychology.

Ernst Specker Selecta

Gerhard Jäger, Bruno Scarpellini, Volker Strassen, 1990 .

Alternatives or presuppositions? A comparison of the Background-Presupposition Rule with Alternative Semantics

Gerhard Jäger, Gerhard Jäger, Gerhard Jäger, 2004 .

An Introduction to Game Theory for Linguists

Gerhard Jäger, Anton Benz, Robert van Rooij, 2006 .

Anaphora and Type Logical Grammar

Gerhard Jäger, 2005 .

Evolutionary Game Theory and Linguistic Typology: a Case Study

Gerhard Jäger, Gerhard Jäger, 2003 .

Some theories with positive induction of ordinal strength φω 0

Gerhard Jäger, Thomas Strahm, 1996 .

Studying Language Change Using Price Equation and Pólya-urn Dynamics

Lan Shuai, Gerhard Jäger, M. Tamariz, 2012, PloS one.

Gradient constraints in finite state OT: The unidirectional and the bidirectional case

Gerhard Jäger, Gerhard Jäger, 2001 .

Evolutionary stability conditions for signaling games with costly signals.

Gerhard Jäger, Gerhard Jäger, 2008, Journal of theoretical biology.

Review: Wilfrid Buchholz, Kurt Schutte, Proof Theory of Impredicative Subsystems of Analysis

Gerhard Jäger, 1991 .

Maximum Entropy Models and Stochastic Optimality Theory

Gerhard Jäger, Gerhard Jäger, 2003 .

Evolutionary Game Theory for linguists. A primer

Gerhard Jäger, Gerhard Jäger, 2005 .

A Reinterpretation of Syntactic Alignment

Henk Zeevat, Gerhard Jäger, G. Jäger, 2002 .

Canonical completeness of infinitary μ

Thomas Studer, Gerhard Jäger, Mathis Kretz, 2007 .

Chapter 7: Game Dynamics Connects Semantics And Pragmatics

Gerhard Jäger, Gerhard Jäger, G. Jäger, 2007 .

Probabilistic pragmatics, or why Bayes’ rule is probably important for pragmatics

Michael Franke, Gerhard Jäger, G. Jäger, 2016 .