ILLC-LIRa January 2018

illc-lira@list.uva.nl

2 participants
3 discussions

Tomorrow LIRa Session: Paul Dekker
by LIRa Seminar 31 Jan '18

31 Jan '18

Dear all, Tomorrow we will have our next LIRA session. Speaker: Paul Dekker Date and Time: Thursday, February 1st 2018, 16:00-17:30 Venue: ILLC Seminar Room F3.23, Science Park 107. Title: Exclusively Indexical Predicate Logic. Abstract. In this talk I propose a way of redoing classical extensional logic in order to enable a better understanding of dynamic and intensional logic. I first present a propositional logic with only one operator of exclusion, and I then extend it to give a sound and complete characterization of the dynamic declaration of discourse referents and the essentially indexical means to refer back to them. We thus arrive at a parsimonious logic for \"dynamic\" languages like that of Discourse Representation Theory and Dynamic Predicate Logic, but also for computationally attractive languages employing typed feature structures and lexical frame templates. The system moreover holds promise for the proper treatment of names in intensional contexts. Hope to see you there! The LIRa team

1 0

CANCELLED LIRa Session today
by LIRa Seminar 18 Jan '18

18 Jan '18

Dear all, due to the storm today our speaker for the LIRa seminar will not make it to Amsterdam on time. Therefore today\'s LIRa seminar is CANCELLED. We hope to reschedule the talk and let you know the new date and time soon. best wishes, The LIRa team

1 0

Thursday: LIRa Session with Dominik Klein
by LIRa Seminar 16 Jan '18

16 Jan '18

Dear all, this week on Thursday we will have our next LIRa session. Speaker: Dominik Klein (University of Bayreuth) Date and Time: Thursday, January 18th 2018, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: In the Long Run we’re all Dead: On Kripke Models, Iterated Updates and Dynamic Systems. Abstract. In this talk, we explore the universe of iterated product updates. The talk has two main components. In the first part, we show how iterated product updates can be understood as a dynamic system. In particular, we equip the space of Kripke models with a metric and prove the resulting topology compact. We then show that product updates are continuous with respect to this metric, allowing to understand iterated updates as a discrete time dynamical systems. In the second part of the talk, we apply this apparatus to the case of iterated updates with one and the same event model. There, we expand on a result by Sadzik (2006) that answered a hypothesis by Johan van Benthem to the negative. Sadzik showed that there are pairs of a Kripke Model M and an event model E, such that the process of repeatedly updating M with E never stabilizes nor becomes cyclic. Using our metric based apparatus, we show that Sadzik’s example does, however, stabilize in the infinite, i.e. that the sequence converges to a unique limit point. In fact, we determine a set of conditions on E, the event model, under which iterated update converges in the limit. Finally, we show that Sadzik’s result has an infinite counterpart: There are event models E that, when iteratedly applied to a suitable Kripke model M, display nontrivial limit behavior. They do not converge to a single point nor a limit cycle in the infinite. This is joint work with Rasmus Rendsvig. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa January 2018