Games and Lindström Theorems - LUW October 26 at 4pm CET -

[jean-yves beziau]

The next session of the Logica Universalis Webinar (LUW) will be Wednesday
October 26 at 4pm CET

Speaker: Cheng Liao
https://www.illc.uva.nl/People/person/5180/Cheng-Liao
Title: Games and Lindström Theorems
Abstract: The Ehrenfeucht–Fraïsse game for a logic usually provides an
intuitive characterization of its expressive power while in abstract model
theory, logics are compared by their expressive powers. In this paper, I
explore this connection in detail by proving a general Lindström theorem
for logics which have certain types of Ehrenfeucht–Fraïsse games. The
results generalize and uniform some known results and may be applied to get
new Lindström theorems for logics.
https://link.springer.com/article/10.1007/s11787-022-00316-6

Chair: Janusz Czelakowski
http://www.math.us.edu.pl/Czelakowski.pdf
Editorial board LU

Associate Organization:
Institute for Logic, Language and Computation, Amsterdam, The Netherlands
https://www.illc.uva.nl/
presented by TBA

Everybody is welcome to join
Register here:
https://www.springer.com/journal/11787/updates/20065848
Jean-Yves Beziau
Editor-in-Chief Logica Universalis, organizer of LUW
http://www.jyb-logic.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20221024/678c5b25/attachment-0001.html>