Dear all,
tomorrow we will have our next LIRa session.
Speaker: Johan van Benthem (ILLC & Stanford)
Date and Time: Friday, December 2nd 2016, 15:00-16:10
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: Decidable Versions of First-Order Predicate Logic.
Abstract: There are two roads to decidability in first-order logic: one restricts attention to language fragments, or one generalizes the usual semantics. I will discuss a recent semantics by Aldo Antonelli, which gives a decidable version of predicate logic with an effective translation into the Guarded Fragment. I compare this with existing decidable semantics via general assignment models, with logics of generalized quantifiers, and with the move from relational semantics to neighborhood semantics. Open problems are flagged throughout.
Hope to see you there!
The LIRa team