ILLC-LIRa October 2016

illc-lira@list.uva.nl

1 participants
6 discussions

This Friday: LIRa session with Giovanni Ciná
by LIRa Seminar 31 Oct '16

31 Oct '16

Dear all, this Friday we will have our next LIRa session. Speaker: Giovanni Ciná (ILLC, Amsterdam) Date and Time: Friday, November 4th 2016, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Modal logics for typed processes. Abstract. I will introduce and discuss typed transition system, a structure that is meant to capture typed processes. After considering various examples, I will touch on the connections between these models and other known structures such as regular transition system (aka Kripke models), presheaves and coalgebras. In the second part of the talk I will introduce a typed modal logic that is complete for typed transition systems. The final touch will be a taste of the expressive power of typed modal logic and its extensions: I will consider several example across different disciplines (Topology, Foundations of Quantum mechanics, Social Choice) and describe how interesting properties can be captured in this language. The talk will be an overview of some results obtained in the last years and is intended for a broad audience. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Aybüke Ozgun
by LIRa Seminar 27 Oct '16

27 Oct '16

Dear all, tomorrow we will have our next LIRa session. Please note the time 15:00 and room F3.20. Speaker: Aybüke Ozgun (LORIA, Nancy and ILLC, Amsterdam) Date and Time: Friday, October 28th 2016, 15:00-16:10 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Justified Belief, Knowledge and the Topology of Evidence Abstract: In this talk, I will present a topological semantics for evidence-based belief, as well as for a notion of (“soft”, defeasible) knowledge, and explore their connections with various notions of evidence possession. We will not only focus on truthful evidence but also formalize conceptions of possibly false and misleading evidence. The basic pieces of evidence possessed by an agent are modelled as non-empty sets of possible worlds and form a primitive component of our models. I will argue that our setting generalizes the evidence models for belief due to van Benthem and Pacuit (van Benthem et al., 2011), as well as our own previous work (Baltag et al., 2013) on topological semantics for Stalnaker’s doxastic-epistemic axioms (Stalnaker, 2006). We prove completeness, decidability and finite model property for the associated logics. If time permits, we will also talk about the link between our setting and some of the important discussions in Epistemology such as Stability and Defeasibilty Theory of Knowledge. This is a joint work with Alexandru Baltag, Nick Bezhanishvili and Sonja Smets. Hope to see you there! The LIRa team

1 0

Next Friday: LIRa session with Aybüke Ozgun
by LIRa Seminar 23 Oct '16

23 Oct '16

Dear all, on Friday we will have our next LIRa session. Speaker: Aybüke Ozgun (LORIA, Nancy and ILLC, Amsterdam) Date and Time: Friday, October 28th 2016, 15:00-16:10 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Justified Belief, Knowledge and the Topology of Evidence Abstract: In this talk, I will present a topological semantics for evidence-based belief, as well as for a notion of (“soft”, defeasible) knowledge, and explore their connections with various notions of evidence possession. We will not only focus on truthful evidence but also formalize conceptions of possibly false and misleading evidence. The basic pieces of evidence possessed by an agent are modelled as non-empty sets of possible worlds and form a primitive component of our models. I will argue that our setting generalizes the evidence models for belief due to van Benthem and Pacuit (van Benthem et al., 2011), as well as our own previous work (Baltag et al., 2013) on topological semantics for Stalnaker’s doxastic-epistemic axioms (Stalnaker, 2006). We prove completeness, decidability and finite model property for the associated logics. If time permits, we will also talk about the link between our setting and some of the important discussions in Epistemology such as Stability and Defeasibilty Theory of Knowledge. This is a joint work with Alexandru Baltag, Nick Bezhanishvili and Sonja Smets. Hope to see you there! The LIRa team

1 0

Tomorrow: LogiCIC/LIRa session with Malvin Gattinger and Hans van Ditmarsch
by LIRa Seminar 13 Oct '16

13 Oct '16

Dear all, tomorrow we will have a joint LogiCIC/LIRa session. Please note that we will be in room *F3.20*. Date and Time: Friday, October 14th 2016, 15:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. First Speaker: Malvin Gattinger (ILLC, Amsterdam) Title: Knowing Values and Public Inspection. Abstract. We present a basic dynamic epistemic logic of ``knowing the value\'\'. Analogous to public announcement in standard DEL, we study ``public inspection\'\', a new dynamic operator which updates the agents\' knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Amstrong axioms for dependencies in databases. This is joint work with Jan van Eijck and Yanjing Wang. The paper is available at https://arxiv.org/abs/1609.03338 Second Speaker: Hans van Ditmarsch (LORIA, Vandoeuvre-lès-Nancy) Title: Epistemic Gossip Protocols. Abstract. A well-studied phenomenon in network theory since the 1970s are optimal schedules to distribute information by one-to-one communication between nodes. One can take these communicative actions to be telephone calls, and protocols to spread information this way are known as gossip protocols or epidemic protocols. Statistical approaches to gossip have taken a large flight since then, witness for example the survey \"Epidemic Information Dissemination in Distributed Systems\" by Eugster et al. (IEEE Computer, 2004). It is typical to assume a global scheduler who executes a possibly non-deterministic or randomized protocol. A departure from this methodology is to investigate epistemic gossip protocols, where an agent (node) will call another agent not because it is so instructed by a scheduler, or at random, but based on its knowledge or ignorance of the distribution of secrets over the network and of other agents\' knowledge or ignorance of that.Such protocols are distributed and do not need a central scheduler. This comes at a cost: they may take longer to terminate than non-epistemic, globally scheduled, protocols. A number of works have appeared over the past years or are in progress (Apt et al., Attamah et al., van Ditmarsch et al., van Eijck et al., Herzig & Maffre) of which we present a survey, including open problems yet to be solved by the community. Hope to see you there! The LIRa team

1 0

Next Friday: LogiCIC/LIRa session with Malvin Gattinger and Hans van Ditmarsch
by LIRa Seminar 09 Oct '16

09 Oct '16

Dear all, on next Friday we will have a joint LogiCIC/LIRa session with two talks. Date and Time: Friday, October 14th 2016, 15:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. First Speaker: Malvin Gattinger (ILLC, Amsterdam) Title: Knowing Values and Public Inspection. Abstract. We present a basic dynamic epistemic logic of ``knowing the value\'\'. Analogous to public announcement in standard DEL, we study ``public inspection\'\', a new dynamic operator which updates the agents\' knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Armstrong axioms for dependencies in databases. This is joint work with Jan van Eijck and Yanjing Wang. The paper is available at https://arxiv.org/abs/1609.03338. Second Speaker: Hans van Ditmarsch (LORIA, Vandoeuvre-lès-Nancy) Title: Epistemic Gossip Protocols. Abstract. A well-studied phenomenon in network theory since the 1970s are optimal schedules to distribute information by one-to-one communication between nodes. One can take these communicative actions to be telephone calls, and protocols to spread information this way are known as gossip protocols or epidemic protocols. Statistical approaches to gossip have taken a large flight since then, witness for example the survey \"Epidemic Information Dissemination in Distributed Systems\" by Eugster et al. (IEEE Computer, 2004). It is typical to assume a global scheduler who executes a possibly non-deterministic or randomized protocol. A departure from this methodology is to investigate epistemic gossip protocols, where an agent (node) will call another agent not because it is so instructed by a scheduler, or at random, but based on its knowledge or ignorance of the distribution of secrets over the network and of other agents\' knowledge or ignorance of that.Such protocols are distributed and do not need a central scheduler. This comes at a cost: they may take longer to terminate than non-epistemic, globally scheduled, protocols. A number of works have appeared over the past years or are in progress (Apt et al., Attamah et al., van Ditmarsch et al., van Eijck et al., Herzig & Maffre) of which we present a survey, including open problems yet to be solved by the community. Hope to see you there! The LIRa team

1 0

CWI Events on November 2nd and 3rd: Soiree, van Wijngaarden Awards and Lectures
by LIRa Seminar 03 Oct '16

03 Oct '16

Dear all, the following events will soon take place at our neighbours CWI and might be interesting for you. Note that for both events the participation is free but a registration is required. CWI soiree & Van Wijngaarden Award Ceremony Event date: Wed, 02/11/2016 - 19:00 - 22:30 Location: Nemo Science Museum (Amsterdam) See https://www.cwi.nl/soiree2016 CWI Lectures in honour of Adriaan van Wijngaarden Event date: Thu, 03/11/2016 - 09:30 - 17:00 Location: Amsterdam Science Park Congress Centre See https://www.cwi.nl/lectures2016 best regards, The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa October 2016