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.