Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gerhard Jäger
@article{DBLP:journals/corr/abs-2402-02807,
author = {Luise H{\"{a}}user and
Gerhard J{\"{a}}ger and
Taraka Rama and
Johann{-}Mattis List and
Alexandros Stamatakis},
title = {Are Sounds Sound for Phylogenetic Reconstruction?},
journal = {CoRR},
volume = {abs/2402.02807},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02807},
doi = {10.48550/ARXIV.2402.02807},
eprinttype = {arXiv},
eprint = {2402.02807},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02807.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jager21,
author = {Gerhard J{\"{a}}ger},
title = {Short note: Least fixed points versus least closed points},
journal = {Arch. Math. Log.},
volume = {60},
number = {7},
pages = {831--835},
year = {2021},
url = {https://doi.org/10.1007/s00153-021-00761-y},
doi = {10.1007/S00153-021-00761-Y},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Jager21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10198,
author = {Gerhard J{\"{a}}ger and
Johannes Wahle},
title = {Phylogenetic typology},
journal = {CoRR},
volume = {abs/2103.10198},
year = {2021},
url = {https://arxiv.org/abs/2103.10198},
eprinttype = {arXiv},
eprint = {2103.10198},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lre/DellertDMLBCGBB20,
author = {Johannes Dellert and
Thora Daneyko and
Alla M{\"{u}}nch and
Alina Ladygina and
Armin Buch and
Natalie Clarius and
Ilja Grigorjew and
Mohamed Balabel and
Hizniye Isabella Boga and
Zalina Baysarova and
Roland M{\"{u}}hlenbernd and
Johannes Wahle and
Gerhard J{\"{a}}ger},
title = {NorthEuraLex: a wide-coverage lexical database of Northern Eurasia},
journal = {Lang. Resour. Evaluation},
volume = {54},
number = {1},
pages = {273--301},
year = {2020},
url = {https://doi.org/10.1007/s10579-019-09480-6},
doi = {10.1007/S10579-019-09480-6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lre/DellertDMLBCGBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AfshariJL19,
author = {Bahareh Afshari and
Gerhard J{\"{a}}ger and
Graham E. Leigh},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {An Infinitary Treatment of Full Mu-Calculus},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {17--34},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_2},
doi = {10.1007/978-3-662-59533-6\_2},
timestamp = {Tue, 25 Jun 2019 13:36:56 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AfshariJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerS18,
author = {Gerhard J{\"{a}}ger and
Silvia Steila},
title = {About some fixed Point Axioms and Related Principles in Kripke-Platek
Environments},
journal = {J. Symb. Log.},
volume = {83},
number = {2},
pages = {642--668},
year = {2018},
url = {https://doi.org/10.1017/jsl.2018.12},
doi = {10.1017/JSL.2018.12},
timestamp = {Fri, 07 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JagerS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerRK18,
author = {Gerhard J{\"{a}}ger and
Timotej Rosebrock and
Sato Kentaro},
title = {Truncation and Semi-Decidability Notions in Applicative Theories},
journal = {J. Symb. Log.},
volume = {83},
number = {3},
pages = {967--990},
year = {2018},
url = {https://doi.org/10.1017/jsl.2018.34},
doi = {10.1017/JSL.2018.34},
timestamp = {Mon, 12 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/JagerRK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/RamaLWJ18,
author = {Taraka Rama and
Johann{-}Mattis List and
Johannes Wahle and
Gerhard J{\"{a}}ger},
editor = {Marilyn A. Walker and
Heng Ji and
Amanda Stent},
title = {Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic
Reconstruction in Historical Linguistics?},
booktitle = {Proceedings of the 2018 Conference of the North American Chapter of
the Association for Computational Linguistics: Human Language Technologies,
NAACL-HLT, New Orleans, Louisiana, USA, June 1-6, 2018, Volume 2 (Short
Papers)},
pages = {393--400},
publisher = {Association for Computational Linguistics},
year = {2018},
url = {https://doi.org/10.18653/v1/n18-2063},
doi = {10.18653/V1/N18-2063},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/RamaLWJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06079,
author = {Gerhard J{\"{a}}ger},
title = {Global-scale phylogenetic linguistic inference from lexical resources},
journal = {CoRR},
volume = {abs/1802.06079},
year = {2018},
url = {http://arxiv.org/abs/1802.06079},
eprinttype = {arXiv},
eprint = {1802.06079},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-05416,
author = {Taraka Rama and
Johann{-}Mattis List and
Johannes Wahle and
Gerhard J{\"{a}}ger},
title = {Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic
Reconstruction in Historical Linguistics?},
journal = {CoRR},
volume = {abs/1804.05416},
year = {2018},
url = {http://arxiv.org/abs/1804.05416},
eprinttype = {arXiv},
eprint = {1804.05416},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-05416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08099,
author = {Gerhard J{\"{a}}ger},
title = {Computational Historical Linguistics},
journal = {CoRR},
volume = {abs/1805.08099},
year = {2018},
url = {http://arxiv.org/abs/1805.08099},
eprinttype = {arXiv},
eprint = {1805.08099},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/JagerLS17,
author = {Gerhard J{\"{a}}ger and
Johann{-}Mattis List and
Pavel Sofroniev},
editor = {Mirella Lapata and
Phil Blunsom and
Alexander Koller},
title = {Using support vector machines and state-of-the-art algorithms for
phonetic alignment to identify cognates in multi-lingual wordlists},
booktitle = {Proceedings of the 15th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2017, Valencia,
Spain, April 3-7, 2017, Volume 1: Long Papers},
pages = {1205--1216},
publisher = {Association for Computational Linguistics},
year = {2017},
url = {https://doi.org/10.18653/v1/e17-1113},
doi = {10.18653/V1/E17-1113},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/JagerLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2017,
editor = {T. V. Gopal and
Gerhard J{\"{a}}ger and
Silvia Steila},
title = {Theory and Applications of Models of Computation - 14th Annual Conference,
{TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10185},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-55911-7},
doi = {10.1007/978-3-319-55911-7},
isbn = {978-3-319-55910-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamaWSJ17,
author = {Taraka Rama and
Johannes Wahle and
Pavel Sofroniev and
Gerhard J{\"{a}}ger},
title = {Fast and unsupervised methods for multilingual cognate clustering},
journal = {CoRR},
volume = {abs/1702.04938},
year = {2017},
url = {http://arxiv.org/abs/1702.04938},
eprinttype = {arXiv},
eprint = {1702.04938},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamaWSJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Jager16,
author = {Gerhard J{\"{a}}ger},
title = {Relativizing Operational Set Theory},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {332--352},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.11},
doi = {10.1017/BSL.2016.11},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Jager16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/JagerM16,
author = {Gerhard J{\"{a}}ger and
Michel Marti},
title = {Intuitionistic common knowledge or belief},
journal = {J. Appl. Log.},
volume = {18},
pages = {150--163},
year = {2016},
url = {https://doi.org/10.1016/j.jal.2016.04.004},
doi = {10.1016/J.JAL.2016.04.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/JagerM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/JagerM16,
author = {Gerhard J{\"{a}}ger and
Michel Marti},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {A canonical model construction for intuitionistic distributed knowledge},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {420--434},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Jager-Marti.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/JagerM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/konvens/JagerS16,
author = {Gerhard J{\"{a}}ger and
Pavel Sofroniev},
editor = {Stefanie Dipper and
Friedrich Neubarth and
Heike Zinsmeister},
title = {Automatic cognate classification with a Support Vector Machine},
booktitle = {Proceedings of the 13th Conference on Natural Language Processing,
{KONVENS} 2016, Bochum, Germany, September 19-21, 2016},
series = {Bochumer Linguistische Arbeitsberichte},
volume = {16},
year = {2016},
url = {https://www.linguistics.rub.de/konvens16/pub/17\_konvensproc.pdf},
timestamp = {Thu, 12 Mar 2020 11:30:43 +0100},
biburl = {https://dblp.org/rec/conf/konvens/JagerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/JagerZ14,
author = {Gerhard J{\"{a}}ger and
Rico Zumbrunnen},
title = {Explicit Mathematics and Operational Set Theory: some Ontological
comparisons},
journal = {Bull. Symb. Log.},
volume = {20},
number = {3},
pages = {275--292},
year = {2014},
url = {https://doi.org/10.1017/bsl.2014.21},
doi = {10.1017/BSL.2014.21},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/JagerZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jager13,
author = {Gerhard J{\"{a}}ger},
title = {Operational closure and stability},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {7-8},
pages = {813--821},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.01.004},
doi = {10.1016/J.APAL.2013.01.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jager13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/DegenFJ13,
author = {Judith Degen and
Michael Franke and
Gerhard J{\"{a}}ger},
editor = {Markus Knauff and
Michael Pauen and
Natalie Sebanz and
Ipke Wachsmuth},
title = {Cost-Based Pragmatic Inference about Referential Expressions},
booktitle = {Proceedings of the 35th Annual Meeting of the Cognitive Science Society,
CogSci 2013, Berlin, Germany, July 31 - August 3, 2013},
publisher = {cognitivesciencesociety.org},
year = {2013},
url = {https://escholarship.org/uc/item/1td8n2r7},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/DegenFJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advcs/Jager12,
author = {Gerhard J{\"{a}}ger},
title = {Power Laws and Other heavy-Tailed Distributions in Linguistic Typology},
journal = {Adv. Complex Syst.},
volume = {15},
number = {3-4},
year = {2012},
url = {https://doi.org/10.1142/S0219525911500196},
doi = {10.1142/S0219525911500196},
timestamp = {Thu, 08 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/advcs/Jager12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/FrankeJ12,
author = {Michael Franke and
Gerhard J{\"{a}}ger},
title = {Bidirectional Optimization from Reasoning and Learning in Games},
journal = {J. Log. Lang. Inf.},
volume = {21},
number = {1},
pages = {117--139},
year = {2012},
url = {https://doi.org/10.1007/s10849-011-9151-z},
doi = {10.1007/S10849-011-9151-Z},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/FrankeJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsemantics/Jager12,
author = {Gerhard J{\"{a}}ger},
title = {Using Statistics for Cross-linguistic Semantics: {A} Quantitative
Investigation of the Typology of Colour Naming Systems},
journal = {J. Semant.},
volume = {29},
number = {4},
pages = {521--544},
year = {2012},
url = {https://doi.org/10.1093/jos/ffs006},
doi = {10.1093/JOS/FFS006},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsemantics/Jager12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JagerP11,
author = {Gerhard J{\"{a}}ger and
Dieter Probst},
title = {The Suslin operator in applicative theories: Its proof-theoretic analysis
via ordinal theories},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {8},
pages = {647--660},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.01.009},
doi = {10.1016/J.APAL.2011.01.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/JagerP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geb/JagerMR11,
author = {Gerhard J{\"{a}}ger and
Lars P. Metzger and
Frank Riedel},
title = {Voronoi languages: Equilibria in cheap-talk games with high-dimensional
types and few signals},
journal = {Games Econ. Behav.},
volume = {73},
number = {2},
pages = {517--537},
year = {2011},
url = {https://doi.org/10.1016/j.geb.2011.03.008},
doi = {10.1016/J.GEB.2011.03.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/geb/JagerMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/JagerS11,
author = {Gerhard J{\"{a}}ger and
Thomas Studer},
title = {A Buchholz Rule for Modal Fixed Point Logics},
journal = {Logica Universalis},
volume = {5},
number = {1},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.1007/s11787-010-0022-1},
doi = {10.1007/S11787-010-0022-1},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/JagerS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/TamarizGJ11,
author = {Monica Tamariz and
Tao Gong and
Gerhard J{\"{a}}ger},
editor = {Laura A. Carlson and
Christoph H{\"{o}}lscher and
Thomas F. Shipley},
title = {Investigating the effects of prestige on the diffusion of linguistic
variants},
booktitle = {Proceedings of the 33th Annual Meeting of the Cognitive Science Society,
CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011},
publisher = {cognitivesciencesociety.org},
year = {2011},
url = {https://mindmodeling.org/cogsci2011/papers/0341/index.html},
timestamp = {Wed, 17 Apr 2024 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/TamarizGJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BenzEJR11,
author = {Anton Benz and
Christian Ebert and
Gerhard J{\"{a}}ger and
Robert van Rooij},
editor = {Anton Benz and
Christian Ebert and
Gerhard J{\"{a}}ger and
Robert van Rooij},
title = {Language, Games, and Evolution: An Introduction},
booktitle = {Language, Games, and Evolution - Trends in Current Research on Language
and Game Theory},
series = {Lecture Notes in Computer Science},
volume = {6207},
pages = {1--13},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18006-4\_1},
doi = {10.1007/978-3-642-18006-4\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/BenzEJR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/6207,
editor = {Anton Benz and
Christian Ebert and
Gerhard J{\"{a}}ger and
Robert van Rooij},
title = {Language, Games, and Evolution - Trends in Current Research on Language
and Game Theory},
series = {Lecture Notes in Computer Science},
volume = {6207},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18006-4},
doi = {10.1007/978-3-642-18006-4},
isbn = {978-3-642-18005-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/6207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/FrankeJR10,
author = {Michael Franke and
Gerhard J{\"{a}}ger and
Robert van Rooij},
editor = {Takashi Onada and
Daisuke Bekki and
Eric McCready},
title = {Vagueness, Signaling and Bounded Rationality},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops,
LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6797},
pages = {45--59},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25655-4\_5},
doi = {10.1007/978-3-642-25655-4\_5},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/FrankeJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Jager10,
author = {Gerhard J{\"{a}}ger},
editor = {Javier Esparza and
Bernd Spanfelner and
Orna Grumberg},
title = {Modal Fixed Point Logics},
booktitle = {Logics and Languages for Reliability and Security},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {25},
pages = {129--154},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-100-8-129},
doi = {10.3233/978-1-60750-100-8-129},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Jager10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mol/2009,
editor = {Christian Ebert and
Gerhard J{\"{a}}ger and
Jens Michaelis},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {6149},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14322-9},
doi = {10.1007/978-3-642-14322-9},
isbn = {978-3-642-14321-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mol/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jager09,
author = {Gerhard J{\"{a}}ger},
title = {Full operational set theory with unbounded existential quantification
and power set},
journal = {Ann. Pure Appl. Log.},
volume = {160},
number = {1},
pages = {33--52},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.01.010},
doi = {10.1016/J.APAL.2009.01.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jager09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amsterdam/Jager09,
author = {Gerhard J{\"{a}}ger},
editor = {Maria Aloni and
Harald Bastiaanse and
Tikitu de Jager and
Katrin Schulz},
title = {Natural Color Categories Are Convex Sets},
booktitle = {Logic, Language and Meaning - 17th Amsterdam Colloquium, Amsterdam,
The Netherlands, December 16-18, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6042},
pages = {11--20},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14287-1\_2},
doi = {10.1007/978-3-642-14287-1\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/amsterdam/Jager09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrattkaJK08,
author = {Vasco Brattka and
Gerhard J{\"{a}}ger and
Hans{-}Peter A. K{\"{u}}nzi},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {76},
number = {2},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2008.02.001},
doi = {10.1016/J.JLAP.2008.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BrattkaJK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JagerKS08,
author = {Gerhard J{\"{a}}ger and
Mathis Kretz and
Thomas Studer},
title = {Canonical completeness of infinitary mu},
journal = {J. Log. Algebraic Methods Program.},
volume = {76},
number = {2},
pages = {270--292},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2008.02.005},
doi = {10.1016/J.JLAP.2008.02.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JagerKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/llc/Jaeger08,
author = {Gerhard J{\"{a}}ger},
title = {Applications of Game Theory in Linguistics},
journal = {Lang. Linguistics Compass},
volume = {2},
number = {3},
pages = {406--421},
year = {2008},
url = {https://doi.org/10.1111/j.1749-818X.2008.00053.x},
doi = {10.1111/J.1749-818X.2008.00053.X},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/llc/Jaeger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jager07,
author = {Gerhard J{\"{a}}ger},
title = {On Feferman's operational set theory {OST}},
journal = {Ann. Pure Appl. Log.},
volume = {150},
number = {1-3},
pages = {19--39},
year = {2007},
url = {https://doi.org/10.1016/j.apal.2007.09.001},
doi = {10.1016/J.APAL.2007.09.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jager07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/JagerKS07,
author = {Gerhard J{\"{a}}ger and
Mathis Kretz and
Thomas Studer},
title = {Cut-free common knowledge},
journal = {J. Appl. Log.},
volume = {5},
number = {4},
pages = {681--689},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2006.02.003},
doi = {10.1016/J.JAL.2006.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/JagerKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/JagerR07,
author = {Gerhard J{\"{a}}ger and
Robert van Rooij},
title = {Language structure: psychological and social constraints},
journal = {Synth.},
volume = {159},
number = {1},
pages = {99--130},
year = {2007},
url = {https://doi.org/10.1007/s11229-006-9073-5},
doi = {10.1007/S11229-006-9073-5},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/synthese/JagerR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AlberucciJ05,
author = {Luca Alberucci and
Gerhard J{\"{a}}ger},
title = {About cut elimination for logics of common knowledge},
journal = {Ann. Pure Appl. Log.},
volume = {133},
number = {1-3},
pages = {73--99},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.004},
doi = {10.1016/J.APAL.2004.10.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AlberucciJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JagerS05,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Reflections on reflections in explicit mathematics},
journal = {Ann. Pure Appl. Log.},
volume = {136},
number = {1-2},
pages = {116--133},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2005.05.008},
doi = {10.1016/J.APAL.2005.05.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/JagerS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JagerP05,
author = {Gerhard J{\"{a}}ger and
Dieter Probst},
title = {Corrigendum to "Variation on a theme of Sch{\"{u}}tte"},
journal = {Math. Log. Q.},
volume = {51},
number = {6},
pages = {642},
year = {2005},
url = {https://doi.org/10.1002/malq.200510005},
doi = {10.1002/MALQ.200510005},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JagerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jager04,
author = {Gerhard J{\"{a}}ger},
title = {An intensional fixed point theory over first order arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {128},
number = {1-3},
pages = {197--213},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2003.11.032},
doi = {10.1016/J.APAL.2003.11.032},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jager04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Jager04,
author = {Gerhard J{\"{a}}ger},
title = {Residuation, Structural Rules and Context Freeness},
journal = {J. Log. Lang. Inf.},
volume = {13},
number = {1},
pages = {47--59},
year = {2004},
url = {https://doi.org/10.1023/A:1026175817625},
doi = {10.1023/A:1026175817625},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Jager04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JagerP04,
author = {Gerhard J{\"{a}}ger and
Dieter Probst},
title = {Variation on a theme of Sch{\"{u}}tte},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {258--264},
year = {2004},
url = {https://doi.org/10.1002/malq.200310097},
doi = {10.1002/MALQ.200310097},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JagerP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nle/Jager03,
author = {Gerhard J{\"{a}}ger},
title = {Recursion by optimization: on the complexity of bidirectional optimality
theory},
journal = {Nat. Lang. Eng.},
volume = {9},
number = {1},
pages = {21--38},
year = {2003},
url = {https://doi.org/10.1017/S1351324903003115},
doi = {10.1017/S1351324903003115},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nle/Jager03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JagerS02,
author = {Gerhard J{\"{a}}ger and
Thomas Studer},
title = {Extending the system T\({}_{\mbox{0}}\) of explicit mathematics: the
limit and Mahlo axioms},
journal = {Ann. Pure Appl. Log.},
volume = {114},
number = {1-3},
pages = {79--101},
year = {2002},
url = {https://doi.org/10.1016/S0168-0072(01)00076-8},
doi = {10.1016/S0168-0072(01)00076-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/JagerS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Jager02,
author = {Gerhard J{\"{a}}ger},
title = {Some Notes on the Formal Properties of Bidirectional Optimality Theory},
journal = {J. Log. Lang. Inf.},
volume = {11},
number = {4},
pages = {427--451},
year = {2002},
url = {https://doi.org/10.1023/A:1019969702169},
doi = {10.1023/A:1019969702169},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Jager02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/Jager02,
author = {Gerhard J{\"{a}}ger},
editor = {Robert Frank},
title = {Residuation, Structural Rules and Context Freeness},
booktitle = {Proceedings of the Sixth International Workshop on Tree Adjoining
Grammar and Related Frameworks, {TAG+} 2002, Venice, Italy, May 20-23,
2002},
pages = {151--158},
publisher = {Association for Computational Linguistics},
year = {2002},
url = {https://aclanthology.org/W02-2221/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tag/Jager02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JargerKS01,
author = {Gerhard J{\"{a}}ger and
Reinhard Kahle and
Thomas Studer},
title = {Universes in explicit mathematics},
journal = {Ann. Pure Appl. Log.},
volume = {109},
number = {3},
pages = {141--162},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(00)00057-9},
doi = {10.1016/S0168-0072(00)00057-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/JargerKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Jager01,
author = {Gerhard J{\"{a}}ger},
title = {Lambek Grammars as Combinatory Categorial Grammars},
journal = {Log. J. {IGPL}},
volume = {9},
number = {6},
pages = {781--792},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.6.781},
doi = {10.1093/JIGPAL/9.6.781},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Jager01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsemantics/Jager01,
author = {Gerhard J{\"{a}}ger},
title = {Topic-Comment Structure and the Contrast Between Stage Level and Individual
Level Predicates},
journal = {J. Semant.},
volume = {18},
number = {2},
pages = {83--126},
year = {2001},
url = {https://doi.org/10.1093/jos/18.2.83},
doi = {10.1093/JOS/18.2.83},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsemantics/Jager01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerS01,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and
Admissible Set Theory},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {935--958},
year = {2001},
url = {https://doi.org/10.2307/2695054},
doi = {10.2307/2695054},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JagerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jager01,
author = {Gerhard J{\"{a}}ger},
title = {First Order Theories for Nonmonotone Inductive Definitions: Recursively
Inaccessible and Mahlo},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1073--1089},
year = {2001},
url = {https://doi.org/10.2307/2695093},
doi = {10.2307/2695093},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jager01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JagerS00,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Fixed point theories and dependent choice},
journal = {Arch. Math. Log.},
volume = {39},
number = {7},
pages = {493--508},
year = {2000},
url = {https://doi.org/10.1007/s001530050161},
doi = {10.1007/S001530050161},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JagerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JagerS99,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Bar Induction and omega Model Reflection},
journal = {Ann. Pure Appl. Log.},
volume = {97},
number = {1-3},
pages = {221--230},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00056-6},
doi = {10.1016/S0168-0072(98)00056-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/JagerS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerKSS99,
author = {Gerhard J{\"{a}}ger and
Reinhard Kahle and
Anton Setzer and
Thomas Strahm},
title = {The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point
Theories},
journal = {J. Symb. Log.},
volume = {64},
number = {1},
pages = {53--67},
year = {1999},
url = {https://doi.org/10.2307/2586750},
doi = {10.2307/2586750},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JagerKSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JagerPW98,
author = {Gerhard J{\"{a}}ger and
Wolfram Pohlers and
Stanley S. Wainer},
title = {Editorial Logic Colloquium '95, Haifa, Israel},
journal = {Arch. Math. Log.},
volume = {37},
number = {5-6},
pages = {273},
year = {1998},
url = {https://doi.org/10.1007/s001530050098},
doi = {10.1007/S001530050098},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JagerPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/Jager98,
author = {Gerhard J{\"{a}}ger},
editor = {Michael Moortgat},
title = {Anaphora and Quantification in Categorial Grammar},
booktitle = {Logical Aspects of Computational Linguistics, Third International
Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2014},
pages = {70--89},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-45738-0\_5},
doi = {10.1007/3-540-45738-0\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lacl/Jager98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jager97,
author = {Gerhard J{\"{a}}ger},
title = {Power Types in Explicit Mathematics},
journal = {J. Symb. Log.},
volume = {62},
number = {4},
pages = {1142--1146},
year = {1997},
url = {https://doi.org/10.2307/2275630},
doi = {10.2307/2275630},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jager97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Jager96,
author = {Gerhard J{\"{a}}ger},
title = {Topics in dynamic semantics},
school = {Humboldt University of Berlin, Unter den Linden, Germany},
year = {1996},
url = {https://d-nb.info/949130273},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Jager96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/HeuerdingJSS96,
author = {Alain Heuerding and
Gerhard J{\"{a}}ger and
Michael Schwendimann and
Michael Seyfried},
title = {A Logics Workbench},
journal = {{AI} Commun.},
volume = {9},
number = {2},
pages = {53--58},
year = {1996},
url = {https://doi.org/10.3233/AIC-1996-9203},
doi = {10.3233/AIC-1996-9203},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/HeuerdingJSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FefermanJ96,
author = {Solomon Feferman and
Gerhard J{\"{a}}ger},
title = {Systems of Explicit Mathematics with Non-Constructive {\(\mathrm{\mu}\)}-Operator,
Part {II}},
journal = {Ann. Pure Appl. Log.},
volume = {79},
number = {1},
pages = {37--52},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00028-3},
doi = {10.1016/0168-0072(95)00028-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FefermanJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerS96,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Some Theories with Positive Induction of Ordinal Strength \emph{phi
omega 0}},
journal = {J. Symb. Log.},
volume = {61},
number = {3},
pages = {818--842},
year = {1996},
url = {https://doi.org/10.2307/2275787},
doi = {10.2307/2275787},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JagerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JagerS95,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Second order theories with ordinals and elementary comprehension},
journal = {Arch. Math. Log.},
volume = {34},
number = {6},
pages = {345--375},
year = {1995},
url = {https://doi.org/10.1007/BF02391553},
doi = {10.1007/BF02391553},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JagerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JagerS95,
author = {Gerhard J{\"{a}}ger and
Thomas Strahm},
title = {Totality in Applicative Theories},
journal = {Ann. Pure Appl. Log.},
volume = {74},
number = {2},
pages = {105--120},
year = {1995},
url = {https://doi.org/10.1016/0168-0072(94)00037-4},
doi = {10.1016/0168-0072(94)00037-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/JagerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArtemovBEFJV95,
author = {Sergei N. Art{\"{e}}mov and
George Boolos and
Erwin Engeler and
Solomon Feferman and
Gerhard J{\"{a}}ger and
Albert Visser},
title = {Preface: Special Issue of Papers from the Conference on Proof Theory,
Provability Logic, and Computation, Berne, Switzerland, 20-24 March
1994},
journal = {Ann. Pure Appl. Log.},
volume = {75},
number = {1-2},
pages = {1},
year = {1995},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ArtemovBEFJV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HeuerdingJSS95,
author = {Alain Heuerding and
Gerhard J{\"{a}}ger and
Stefan Schwendimann and
Michael Seyfried},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Propositional Logics on the Computer},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {310--323},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_44},
doi = {10.1007/3-540-59338-1\_44},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HeuerdingJSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HosliJ94,
author = {Brigitte H{\"{o}}sli and
Gerhard J{\"{a}}ger},
title = {About Some Symmetries of Negation},
journal = {J. Symb. Log.},
volume = {59},
number = {2},
pages = {473--485},
year = {1994},
url = {https://doi.org/10.2307/2275401},
doi = {10.2307/2275401},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HosliJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jager93,
author = {Gerhard J{\"{a}}ger},
title = {Fixed Points in Peano Arithmetic with Ordinals},
journal = {Ann. Pure Appl. Log.},
volume = {60},
number = {2},
pages = {119--132},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90039-G},
doi = {10.1016/0168-0072(93)90039-G},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jager93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FefermanJ93,
author = {Solomon Feferman and
Gerhard J{\"{a}}ger},
title = {Systems of Explicit Mathematics with Non-Constructive {\(\mathrm{\mu}\)}-Operator,
Part {I}},
journal = {Ann. Pure Appl. Logic},
volume = {65},
number = {3},
pages = {243--263},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90013-4},
doi = {10.1016/0168-0072(93)90013-4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/FefermanJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JagerS93,
author = {Gerhard J{\"{a}}ger and
Robert F. St{\"{a}}rk},
title = {The Defining Power of Stratified and Hierarchical Logic Programs},
journal = {J. Log. Program.},
volume = {15},
number = {1{\&}2},
pages = {55--77},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90013-7},
doi = {10.1016/0743-1066(93)90013-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JagerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1992,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Simone Martini and
Michael M. Richter},
title = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
September 28 - October 2, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {702},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56992-8},
doi = {10.1007/3-540-56992-8},
isbn = {3-540-56992-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerP92,
author = {Gerhard J{\"{a}}ger and
Barbara Primo},
title = {About the Proof-Theoretic Ordinals of Weak Fixed Point Theories},
journal = {J. Symb. Log.},
volume = {57},
number = {3},
pages = {1108--1119},
year = {1992},
url = {https://doi.org/10.2307/2275451},
doi = {10.2307/2275451},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JagerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1991,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023753},
doi = {10.1007/BFB0023753},
isbn = {3-540-55789-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jager91,
author = {Gerhard J{\"{a}}ger},
title = {Between constructive mathematics and {PROLOG}},
journal = {Arch. Math. Log.},
volume = {30},
number = {5-6},
pages = {297--310},
year = {1991},
url = {https://doi.org/10.1007/BF01621473},
doi = {10.1007/BF01621473},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jager91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Jager90,
author = {Gerhard J{\"{a}}ger},
title = {Annotations on the Consistency of the Closed World Assumption},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {229--247},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90024-Y},
doi = {10.1016/0743-1066(90)90024-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Jager90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nil/Jager90,
author = {Gerhard J{\"{a}}ger},
editor = {J{\"{u}}rgen Dix and
Klaus P. Jantke and
Peter H. Schmitt},
title = {Notions of Nonmonotonic Derivability},
booktitle = {Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe,
Germany, December 4-7, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {543},
pages = {74--84},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023318},
doi = {10.1007/BFB0023318},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/nil/Jager90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jager89,
author = {Gerhard J{\"{a}}ger},
editor = {Gerhard X. Ritter},
title = {Proofs as Advanced and Powerful Tool},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {783--790},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Jager89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Jager87,
author = {Gerhard J{\"{a}}ger},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Induction in the Elementary Theory of Types and Names},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {118--128},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_33},
doi = {10.1007/3-540-50241-6\_33},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Jager87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jager86,
author = {Gerhard J{\"{a}}ger},
title = {A Boundedness Theorem In mathrmID1 {(W)}},
journal = {J. Symb. Log.},
volume = {51},
number = {4},
pages = {942--947},
year = {1986},
url = {https://doi.org/10.2307/2273906},
doi = {10.2307/2273906},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jager86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jager86,
author = {Gerhard J{\"{a}}ger},
title = {Countable Admissible Ordinals and Dilators},
journal = {Math. Log. Q.},
volume = {32},
number = {25-30},
pages = {451--456},
year = {1986},
url = {https://doi.org/10.1002/malq.19860322511},
doi = {10.1002/MALQ.19860322511},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jager86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Jager86,
author = {Gerhard J{\"{a}}ger},
editor = {J{\"{o}}rg H. Siekmann},
title = {Some Contributions to the Logical Analysis of Circumscrition},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {154--171},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_88},
doi = {10.1007/3-540-16780-3\_88},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Jager86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Jaeger85,
author = {Gerhard J{\"{a}}ger},
title = {Some proof-theoretic contributions to theories of sets},
booktitle = {Logic Colloquium '85, Orsay, France},
pages = {171--192},
publisher = {Elsevier},
year = {1985},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/logicColl/Jaeger85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jager84,
author = {Gerhard J{\"{a}}ger},
title = {\emph{{\(\varrho\)}}-inaccessible ordinals, collapsing functions and
a recursive notation system},
journal = {Arch. Math. Log.},
volume = {24},
number = {1},
pages = {49--62},
year = {1984},
url = {https://doi.org/10.1007/BF02007140},
doi = {10.1007/BF02007140},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jager84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jager84,
author = {Gerhard J{\"{a}}ger},
title = {The Strength of Admissibility Without Foundation},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {867--879},
year = {1984},
url = {https://doi.org/10.2307/2274140},
doi = {10.2307/2274140},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jager84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jager84,
author = {Gerhard J{\"{a}}ger},
title = {A Version of Kripke-Platek Set Theory which is Conservative over Peano
Arithmetic},
journal = {Math. Log. Q.},
volume = {30},
number = {1-6},
pages = {3--9},
year = {1984},
url = {https://doi.org/10.1002/malq.19840300102},
doi = {10.1002/MALQ.19840300102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jager84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jager83,
author = {Gerhard J{\"{a}}ger},
title = {A well-ordering proof for Feferman's theory\emph{T}\({}_{\mbox{0}}\)},
journal = {Arch. Math. Log.},
volume = {23},
number = {1},
pages = {65--77},
year = {1983},
url = {https://doi.org/10.1007/BF02023014},
doi = {10.1007/BF02023014},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jager83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FefermanJ83,
author = {Solomon Feferman and
Gerhard J{\"{a}}ger},
title = {Choice Principles, the Bar Rule and Autonomously Iterated Comprehension
Schemes in Analysis},
journal = {J. Symb. Log.},
volume = {48},
number = {1},
pages = {63--70},
year = {1983},
url = {https://doi.org/10.2307/2273321},
doi = {10.2307/2273321},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FefermanJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jager80a,
author = {Gerhard J{\"{a}}ger},
title = {Beweistheorie von\emph{KPN}},
journal = {Arch. Math. Log.},
volume = {20},
number = {1-2},
pages = {53--63},
year = {1980},
url = {https://doi.org/10.1007/BF02011138},
doi = {10.1007/BF02011138},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jager80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jager80,
author = {Gerhard J{\"{a}}ger},
title = {Zur Beweistheorie Der Kripke-Platek-Mengenlehre {\"{U}}ber Den
Nat{\"{u}}rlichen Zahlen},
journal = {Arch. Math. Log.},
volume = {22},
number = {3-4},
pages = {121--139},
year = {1980},
url = {https://doi.org/10.1007/BF02297652},
doi = {10.1007/BF02297652},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jager80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-08 23:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
