An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers

Simi Haber, Saharon Shelah

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 languageEnglish
Title of host publicationFields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
EditorsAndreas Blass, Bernd Finkbeiner, Nachum Dershowitz, Wolfram Schulte, Lev D. Beklemishev
PublisherSpringer Verlag
Pages226-236
Number of pages11
ISBN (Print)9783319235332
DOIs
StatePublished - 2015
EventSymposium on Yurifest, 2015 - Berlin, Germany
Duration: 11 Sep 201512 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9300
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceSymposium on Yurifest, 2015
Country/TerritoryGermany
CityBerlin
Period11/09/1512/09/15

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2015.

Fingerprint

Dive into the research topics of 'An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers'. Together they form a unique fingerprint.

Cite this