Generalized Ehrenfeucht games
From MaRDI portal
Publication:4145685
DOI10.4064/fm-109-2-103-112zbMath0368.02017OpenAlexW777021994MaRDI QIDQ4145685
Publication date: 1980
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211151
Related Items
Generalized quantifiers and pebble games on finite structures ⋮ Henkin and function quantifiers ⋮ An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers ⋮ On simplicity of formulas ⋮ Definability hierarchies of generalized quantifiers