uva.nl
About the ILLC
About the ILLC
History
Mission
Testimonials
Diversity Committee & Social Code of Conduct
Self evaluations, research evaluations and annual reports
News and Events
ILLC News & Events
Submit News Item
News
Projects and Awards
Funding, Grants & Competitions
Open Positions
New Appointments
Miscellaneous
Obituaries
Martin Löb (1921-2006)
Paul Gochet (1932-2011)
Wim Blok (1947 - 2003)
Remko Scha (1945-2015)
Theo Janssen (1948-2018)
Anne Troelstra (1939-2019)
Herman Hendriks (1959 - 2021)
Lex Hendriks (1952 - 2023)
Paul van Ulsen (1946 - 2023)
Jeroen Groenendijk (1949 - 2023)
Kees Doets (1941-2024)
Events
Upcoming Events
Conferences
MoL and PhD defenses
Regular Events
Archives
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
Research
Research Organisation
Research Units
Artificial Intelligence, Culture & Society (AIC & S)
Epistemology & Philosophy of Science (EPS)
Formal Semantics & Philosophical Logic (FSPL)
Language & Music Cognition (LMC)
Mathematical & Computational Logic (MCL)
Natural Language Processing (NLP)
Theoretical Computer Science (TCS)
Projects & Grants
Running Projects
Finished Projects
Collaborations and Consortia
Bibliotheca Beth
Research Output
Searchable List of Research Output
Dissertations
ILLC Dissertations (DS) Series
Historical Dissertation (HDS) Series
Inaugurals and Valedictories
Reports and Preprints
Prepublication (PP) Series
Technical Notes (X) Series
Master of Logic (MoL) Series
Mathematical Logic and Foundations (ML) Series (1988-1998)
Logic, Philosophy and Linguistics (LP) Series (1988-1998)
Computation and Complexity Theory (CT) Series (1988-1998)
Computational Linguistics (CL) Series (1988-1993)
Instituut voor Taal, Logika en Informatie (ITLI) Series (1986-1987)
Publications by year
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
Code, Datasets and Demo's
Festschriften
Research Conduct
Scientific Integrity
Research Data Management
Data Management Plans
DMP submission
Research Outreach
CERTAIN-AI
Education
Master of Logic
PhD Programme
Logic Year
Minor Logic and Computation
People
Staff
Management Team
PhD Candidates
Guests
Students
Alumni
Scientific Advisory Board
Beoordelingsadviescommissie
Media
ILLC People in the Media
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
Blog
ILLC Magazine
Contact
Contact
Directions
Search
Institute for Logic, Language and Computation
ILLC
News
UvA
Main Page Navigation
About the ILLC
About the ILLC
History
Mission
Testimonials
Diversity Committee & Social Code of Conduct
Self evaluations, research evaluations and annual reports
News and Events
ILLC News & Events
Submit News Item
Archives
News
Projects and Awards
Funding, Grants & Competitions
Open Positions
New Appointments
Miscellaneous
Obituaries
Events
Upcoming Events
Conferences
MoL and PhD defenses
Regular Events
Research
Research Organisation
Research Units
Projects & Grants
Collaborations and Consortia
Bibliotheca Beth
Research Output
Searchable List of Research Output
Dissertations
Inaugurals and Valedictories
Reports and Preprints
Publications by year
Code, Datasets and Demo's
Festschriften
Research Conduct
Scientific Integrity
Research Data Management
Research Outreach
CERTAIN-AI
Education
Master of Logic
PhD Programme
Logic Year
Minor Logic and Computation
People
Management Team
Staff
PhD Candidates
Guests
Students
Alumni
Scientific Advisory Board
Beoordelingsadviescommissie
Media
ILLC People in the Media
Blog
ILLC Magazine
Contact
Contact
Directions
ILLC Publications, All Series, 2026
Home
Research
Research Output
By year
2026
Research
Research Organisation
Research Units
Projects & Grants
Collaborations and Consortia
Bibliotheca Beth
Research Output
Searchable List of Research Output
Dissertations
Inaugurals and Valedictories
Reports and Preprints
Publications by year
Code, Datasets and Demo's
Festschriften
Research Conduct
Scientific Integrity
Research Data Management
Research Outreach
CERTAIN-AI
View publication by year:
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
MoL-2026-01
:
Amos Nicodemus
Formalizing Unsolvability Certificates for Automated Planning in Lean 4
1.
Full Text
, 2.
Abstract
.