Abstract
We propose an extension of the Ehrenfeucht-Fraïssé game able to deal with logics augmented with Lindström quantifiers. We describe three different games with varying balance between simplicity and ease of use.
Original language | English |
---|---|
Title of host publication | Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday |
Editors | Andreas Blass, Bernd Finkbeiner, Nachum Dershowitz, Wolfram Schulte, Lev D. Beklemishev |
Publisher | Springer Verlag |
Pages | 226-236 |
Number of pages | 11 |
ISBN (Print) | 9783319235332 |
DOIs | |
State | Published - 2015 |
Event | Symposium on Yurifest, 2015 - Berlin, Germany Duration: 11 Sep 2015 → 12 Sep 2015 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 9300 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | Symposium on Yurifest, 2015 |
---|---|
Country/Territory | Germany |
City | Berlin |
Period | 11/09/15 → 12/09/15 |
Bibliographical note
Publisher Copyright:© Springer International Publishing Switzerland 2015.
Funding
Research partially supported by National Science Foundation grant no. DMS 1101597. Research partially supported by European Research Council grant 338821. Number 1059 on author’s list.
Funders | Funder number |
---|---|
European Commission | |
National Science Foundation | |
National Science Foundation | DMS 1101597 |
European Commission | 338821 |