Publication:3125031
From MaRDI portal
zbMath0865.03027MaRDI QIDQ3125031
Publication date: 1 July 1997
monadic second-order logic; Ehrenfeucht-Fraïssé games; partition quantifiers; partition logics; coloured pebble games; extended logic
03C80: Logic with extra quantifiers and operators
Related Items
Monadic partition logics and finite automata, Some notes on graph automata, tiling systems and partition logic