An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers
classification
🧮 math.LO
keywords
augmentedehrenfeucht-fraisseextensiongamelindstromlogicsquantifiersable
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.