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.