Gerhard Jäger

99 papers A 1B 8C 2Journal 72Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Beyond cognacy. CoRR Gerhard Jäger
2025	J	`jnl`	Computational Typology. CoRR Gerhard Jäger
2024	J	`jnl`	Admissible extensions of subtheories of second order arithmetic. Ann. Pure Appl. Log. Gerhard Jäger, Michael Rathjen
2024	—	`conf`	Are Sounds Sound for Phylogenetic Reconstruction? SIGTYPE Luise Häuser, Gerhard Jäger, Johann-Mattis List, Taraka Rama, Alexandros Stamatakis
2024	J	`jnl`	Are Sounds Sound for Phylogenetic Reconstruction? CoRR Luise Häuser, Gerhard Jäger, Taraka Rama, Johann-Mattis List, Alexandros Stamatakis
2024	J	`jnl`	Computational Approaches for Integrating out Subjectivity in Cognate Synonym Selection. CoRR Luise Häuser, Gerhard Jäger, Alexandros Stamatakis
2024	B	`conf`	Exploring the evolutionary dynamics of sound symbolism. CogSci Chundra A. Cathcart, Gerhard Jäger
2024	J	`jnl`	Tame and full strict- J. Log. Comput. Gerhard Jäger
2021	J	`jnl`	Phylogenetic typology. CoRR Gerhard Jäger, Johannes Wahle
2021	J	`jnl`	Short note: Least fixed points versus least closed points. Arch. Math. Log. Gerhard Jäger
2020	J	`jnl`	NorthEuraLex: a wide-coverage lexical database of Northern Eurasia. Lang. Resour. Evaluation Johannes Dellert, Thora Daneyko, Alla Münch, Alina Ladygina, Armin Buch, Natalie Clarius, Ilja Grigorjew, Mohamed Balabel, Hizniye Isabella Boga, Zalina Baysarova, Roland Mühlenbernd, Johannes Wahle, Gerhard Jäger
2019	C	`conf`	An Infinitary Treatment of Full Mu-Calculus. WoLLIC Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
2018	J	`jnl`	About some fixed Point Axioms and Related Principles in Kripke-Platek Environments. J. Symb. Log. Gerhard Jäger, Silvia Steila
2018	—	`conf`	Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic Reconstruction in Historical Linguistics? NAACL-HLT (2) Taraka Rama, Johann-Mattis List, Johannes Wahle, Gerhard Jäger
2018	J	`jnl`	Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic Reconstruction in Historical Linguistics? CoRR Taraka Rama, Johann-Mattis List, Johannes Wahle, Gerhard Jäger
2018	J	`jnl`	Computational Historical Linguistics. CoRR Gerhard Jäger
2018	J	`jnl`	Global-scale phylogenetic linguistic inference from lexical resources. CoRR Gerhard Jäger
2018	J	`jnl`	Truncation and Semi-Decidability Notions in Applicative Theories. J. Symb. Log. Gerhard Jäger, Timotej Rosebrock, Sato Kentaro
2017	J	`jnl`	Fast and unsupervised methods for multilingual cognate clustering. CoRR Taraka Rama, Johannes Wahle, Pavel Sofroniev, Gerhard Jäger
2017	C	`ed.`	Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings TAMC T. V. Gopal, Gerhard Jäger, Silvia Steila
2017	—	`conf`	Using support vector machines and state-of-the-art algorithms for phonetic alignment to identify cognates in multi-lingual wordlists. EACL (1) Gerhard Jäger, Johann-Mattis List, Pavel Sofroniev
2016	B	`conf`	A canonical model construction for intuitionistic distributed knowledge. Advances in Modal Logic Gerhard Jäger, Michel Marti
2016	—	`conf`	Automatic cognate classification with a Support Vector Machine. KONVENS Gerhard Jäger, Pavel Sofroniev
2016	J	`jnl`	Intuitionistic common knowledge or belief. J. Appl. Log. Gerhard Jäger, Michel Marti
2016	J	`jnl`	Relativizing Operational Set Theory. Bull. Symb. Log. Gerhard Jäger
2014	J	`jnl`	Explicit Mathematics and Operational Set Theory: some Ontological comparisons. Bull. Symb. Log. Gerhard Jäger, Rico Zumbrunnen
2013	B	`conf`	Cost-Based Pragmatic Inference about Referential Expressions. CogSci Judith Degen, Michael Franke, Gerhard Jäger
2013	J	`jnl`	Operational closure and stability. Ann. Pure Appl. Log. Gerhard Jäger
2012	J	`jnl`	Bidirectional Optimization from Reasoning and Learning in Games. J. Log. Lang. Inf. Michael Franke, Gerhard Jäger
2012	J	`jnl`	Power Laws and Other heavy-Tailed Distributions in Linguistic Typology. Adv. Complex Syst. Gerhard Jäger
2012	J	`jnl`	Using Statistics for Cross-linguistic Semantics: A Quantitative Investigation of the Typology of Colour Naming Systems. J. Semant. Gerhard Jäger
2011	J	`jnl`	A Buchholz Rule for Modal Fixed Point Logics. Logica Universalis Gerhard Jäger, Thomas Studer
2011	B	`conf`	Investigating the effects of prestige on the diffusion of linguistic variants. CogSci Monica Tamariz, Tao Gong, Gerhard Jäger
2011	—	`book`	Language, Games, and Evolution - Trends in Current Research on Language and Game Theory Language, Games, and Evolution Anton Benz, Christian Ebert, Gerhard Jäger, Robert van Rooij
2011	—	`ch.`	Language, Games, and Evolution: An Introduction. Language, Games, and Evolution Anton Benz, Christian Ebert, Gerhard Jäger, Robert van Rooij
2011	J	`jnl`	The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Ann. Pure Appl. Log. Gerhard Jäger, Dieter Probst
2011	J	`jnl`	Voronoi languages: Equilibria in cheap-talk games with high-dimensional types and few signals. Games Econ. Behav. Gerhard Jäger, Lars P. Metzger, Frank Riedel
2010	—	`ch.`	Modal Fixed Point Logics. Logics and Languages for Reliability and Security Gerhard Jäger
2010	—	`ed.`	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 Christian Ebert, Gerhard Jäger, Jens Michaelis
2010	—	`conf`	Vagueness, Signaling and Bounded Rationality. JSAI-isAI Workshops Michael Franke, Gerhard Jäger, Robert van Rooij
2009	J	`jnl`	Full operational set theory with unbounded existential quantification and power set. Ann. Pure Appl. Log. Gerhard Jäger
2009	—	`conf`	Natural Color Categories Are Convex Sets. Amsterdam Colloquium on Logic, Language and Meaning Gerhard Jäger
2008	J	`jnl`	Applications of Game Theory in Linguistics. Lang. Linguistics Compass Gerhard Jäger
2008	J	`jnl`	Canonical completeness of infinitary mu. J. Log. Algebraic Methods Program. Gerhard Jäger, Mathis Kretz, Thomas Studer
2008	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi
2007	J	`jnl`	Cut-free common knowledge. J. Appl. Log. Gerhard Jäger, Mathis Kretz, Thomas Studer
2007	J	`jnl`	Language structure: psychological and social constraints. Synth. Gerhard Jäger, Robert van Rooij
2007	J	`jnl`	On Feferman's operational set theory OST. Ann. Pure Appl. Log. Gerhard Jäger
2005	J	`jnl`	About cut elimination for logics of common knowledge. Ann. Pure Appl. Log. Luca Alberucci, Gerhard Jäger
2005	J	`jnl`	Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. Gerhard Jäger, Dieter Probst
2005	J	`jnl`	Reflections on reflections in explicit mathematics. Ann. Pure Appl. Log. Gerhard Jäger, Thomas Strahm
2004	J	`jnl`	An intensional fixed point theory over first order arithmetic. Ann. Pure Appl. Log. Gerhard Jäger
2004	J	`jnl`	Residuation, Structural Rules and Context Freeness. J. Log. Lang. Inf. Gerhard Jäger
2004	J	`jnl`	Variation on a theme of Schütte. Math. Log. Q. Gerhard Jäger, Dieter Probst
2003	J	`jnl`	Recursion by optimization: on the complexity of bidirectional optimality theory. Nat. Lang. Eng. Gerhard Jäger
2002	J	`jnl`	Extending the system T Ann. Pure Appl. Log. Gerhard Jäger, Thomas Studer
2002	—	`conf`	Residuation, Structural Rules and Context Freeness. TAG+ Gerhard Jäger
2002	J	`jnl`	Some Notes on the Formal Properties of Bidirectional Optimality Theory. J. Log. Lang. Inf. Gerhard Jäger
2001	J	`jnl`	First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. J. Symb. Log. Gerhard Jäger
2001	J	`jnl`	Lambek Grammars as Combinatory Categorial Grammars. Log. J. IGPL Gerhard Jäger
2001	J	`jnl`	Topic‐Comment Structure and the Contrast Between Stage Level and Individual Level Predicates. J. Semant. Gerhard Jäger
2001	J	`jnl`	Universes in explicit mathematics. Ann. Pure Appl. Log. Gerhard Jäger, Reinhard Kahle, Thomas Studer
2001	J	`jnl`	Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. J. Symb. Log. Gerhard Jäger, Thomas Strahm
2000	J	`jnl`	Fixed point theories and dependent choice. Arch. Math. Log. Gerhard Jäger, Thomas Strahm
1999	J	`jnl`	Bar Induction and omega Model Reflection. Ann. Pure Appl. Log. Gerhard Jäger, Thomas Strahm
1999	J	`jnl`	The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
1998	—	`conf`	Anaphora and Quantification in Categorial Grammar. LACL Gerhard Jäger
1998	J	`jnl`	Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer
1997	J	`jnl`	Power Types in Explicit Mathematics. J. Symb. Log. Gerhard Jäger
1996	J	`jnl`	A Logics Workbench. AI Commun. Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried
1996	J	`jnl`	Some Theories with Positive Induction of Ordinal Strength J. Symb. Log. Gerhard Jäger, Thomas Strahm
1996	J	`jnl`	Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Log. Solomon Feferman, Gerhard Jäger
1996	—	`—`	Topics in dynamic semantics. Gerhard Jäger
1995	J	`jnl`	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. Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
1995	B	`conf`	Propositional Logics on the Computer. TABLEAUX Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried
1995	J	`jnl`	Second order theories with ordinals and elementary comprehension. Arch. Math. Log. Gerhard Jäger, Thomas Strahm
1995	J	`jnl`	Totality in Applicative Theories. Ann. Pure Appl. Log. Gerhard Jäger, Thomas Strahm
1994	J	`jnl`	About Some Symmetries of Negation. J. Symb. Log. Brigitte Hösli, Gerhard Jäger
1993	B	`ed.`	Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers CSL Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
1993	J	`jnl`	Fixed Points in Peano Arithmetic with Ordinals. Ann. Pure Appl. Log. Gerhard Jäger
1993	J	`jnl`	Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic Solomon Feferman, Gerhard Jäger
1993	J	`jnl`	The Defining Power of Stratified and Hierarchical Logic Programs. J. Log. Program. Gerhard Jäger, Robert F. Stärk
1992	J	`jnl`	About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. J. Symb. Log. Gerhard Jäger, Barbara Primo
1992	B	`ed.`	Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings CSL Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
1991	J	`jnl`	Between constructive mathematics and PROLOG. Arch. Math. Log. Gerhard Jäger
1990	J	`jnl`	Annotations on the Consistency of the Closed World Assumption. J. Log. Program. Gerhard Jäger
1990	—	`conf`	Notions of Nonmonotonic Derivability. Nonmonotonic and Inductive Logic Gerhard Jäger
1989	—	`conf`	Proofs as Advanced and Powerful Tool. IFIP Congress Gerhard Jäger
1987	B	`conf`	Induction in the Elementary Theory of Types and Names. CSL Gerhard Jäger
1986	J	`jnl`	A Boundedness Theorem In mathrmID1 (W). J. Symb. Log. Gerhard Jäger
1986	J	`jnl`	Countable Admissible Ordinals and Dilators. Math. Log. Q. Gerhard Jäger
1986	A	`conf`	Some Contributions to the Logical Analysis of Circumscrition. CADE Gerhard Jäger
1985	—	`conf`	Some proof-theoretic contributions to theories of sets. Logic Colloquium Gerhard Jäger
1984	J	`jnl`	A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic. Math. Log. Q. Gerhard Jäger
1984	J	`jnl`	The Strength of Admissibility Without Foundation. J. Symb. Log. Gerhard Jäger
1983	J	`jnl`	A well-ordering proof for Feferman's theory Arch. Math. Log. Gerhard Jäger
1983	J	`jnl`	Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. J. Symb. Log. Solomon Feferman, Gerhard Jäger
1980	J	`jnl`	Beweistheorie von Arch. Math. Log. Gerhard Jäger
1980	J	`jnl`	Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen. Arch. Math. Log. Gerhard Jäger