An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers

TL;DR

This paper introduces an extended Ehrenfeucht-Fraisse game designed to handle first-order logics augmented with Lindstrom quantifiers, providing three variants that balance simplicity and usability.

Contribution

It presents a novel extension of the Ehrenfeucht-Fraisse game specifically for Lindstrom-augmented logics, with three different game variants.

Findings

Three different game variants proposed.

The games effectively characterize Lindstrom-augmented logics.

Balance between simplicity and ease of use achieved.

Abstract

We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use.