uva.nl
About the ILLC
About the ILLC
History
Mission
Diversity & 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)
Events
Upcoming Events
Conferences
MoL and PhD defenses
Regular Events
Archives
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
Epistemology & Philosophy of Science (EPS)
Formal Semantics & Philosophical Logic (FSPL)
Language & Music Cognition (LMC)
Mathematical & Computational Logic (MCL)
Natural Language Processing & Digital Humanities (NLP&DH)
Theoretical Computer Science (TCS)
Projects
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
Preprints and Other Reports
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
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
Communication Commission
Communication Session
Request a Communication Session
Media
Blog
ILLC People in the Media
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
ILLC Magazine
Contact
Contact
Directions
Search
Institute for Logic, Language and Computation
ILLC
UvA
Main Page Navigation
About the ILLC
About the ILLC
History
Mission
Diversity & 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
Collaborations and Consortia
Bibliotheca Beth
Research Output
Searchable List of Research Output
Dissertations
Inaugurals and Valedictories
Preprints and Other Reports
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
Communication Commission
Communication Session
Media
Blog
ILLC People in the Media
ILLC Magazine
Contact
Contact
Directions
Computation and Complexity Theory (CT) Series (1988-1998)
Home
Research
Research Output
Preprints and Other Reports
Computation and Complexity Theory (CT) Series (1988-1998)
Resolution Decides the Guarded Fragment
Preprints and Other Reports
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)
CT-1998-01
:
Hans de Nivelle
Resolution Decides the Guarded Fragment
1.
Full Text
, 2.
Abstract
.
< Back
Back
