ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 11:30 - 12:00 at S3 - II

In this talk, we introduce logics based on team semantics that characterize (downward closed) first-order definable team properties, and we also study the axiomatization problem of these logics.

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

galop-2019-papers
11:00 - 12:00: GaLoP - II at S3
galop-2019-papers11:00 - 11:30
Talk
Pietro GallianiFree University of Bozen-Bolzano
galop-2019-papers11:30 - 12:00
Talk
Juha Kontinen, Fan YangUniversity of Helsinki