ILLC-LIRa April 2020

illc-lira@list.uva.nl

1 participants
8 discussions

LIRa session (online only): Carlo Proietti
by LIRa Seminar 29 Apr '20

29 Apr '20

Dear all, Tomorrow we will have our next LIRa session. Here is the zoom link: https://uva-live.zoom.us/j/95748565835?pwd=V1g5RFptUDRDLzNvRGc2Qmp4aURadz09 (Meeting ID: 957 4856 5835, Password: 028909). The details of the talk are below. You can find the guidelines for our online sessions here: https://projects.illc.uva.nl/lgc/seminar/guidelines-for-online-sessions/ Speaker: Carlo Proietti Date and Time: Thursday, April 30th 2020, 16:30-18:00, Amsterdam time. Venue: online Title: DEL for Abstract Argumentation (joint work with Antonio Yuste-Ginel) Abstract. We introduce a multi-agent dynamic epistemic logic for abstract argumentation. The logic brings together tools from dynamic epistemic logic, awareness logic and abstract argumentation. The resulting framework allows reasoning about subtle epistemic and argumentative updates - such as the effects of different levels of trust in a source - and more in general about the epistemic dimensions of strategic and persuasive communication. Our framework consists in the extension of one of the logics proposed by Schwarzentruber et al. in two different directions: (i) enriching its propositional fragment with new propositional variables, in order to capture the notion of fine-grained justification status of an argument, and (ii) adding action models with propositional assignments to the epistemic language, in order to reason about argumentative and epistemic dynamics. Developing (i) and (ii) brings with it some conceptual and technical challenges, such as how to preserve given epistemic model restrictions after action execution. We address these questions and provide complete axiomatisations for different intuitive constraints. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Carlo Proietti
by LIRa Seminar 25 Apr '20

25 Apr '20

Dear all, We will have our next LIRa session on Thursday, April 30th. Our speaker is Carlo Proietti. You will receive the zoom link and a reminder of the guidelines for online sessions the day before the talk. After the talk, we will continue the discussion with (online) drinks, as usual. Please, find the details below. Speaker: Carlo Proietti Date and Time: Thursday, April 30th 2020, 16:30-18:00 Venue: online Title: DEL for Abstract Argumentation (joint work with Antonio Yuste-Ginel) Abstract. We introduce a multi-agent dynamic epistemic logic for abstract argumentation. The logic brings together tools from dynamic epistemic logic, awareness logic and abstract argumentation. The resulting framework allows reasoning about subtle epistemic and argumentative updates – such as the effects of different levels of trust in a source – and more in general about the epistemic dimensions of strategic and persuasive communication. Our framework consists in the extension of one of the logics proposed by Schwarzentruber et al. in two different directions: (i) enriching its propositional fragment with new propositional variables, in order to capture the notion of fine-grained justification status of an argument, and (ii) adding action models with propositional assignments to the epistemic language, in order to reason about argumentative and epistemic dynamics. Developing (i) and (ii) brings with it some conceptual and technical challenges, such as how to preserve given epistemic model restrictions after action execution. We address these questions and provide complete axiomatisations for different intuitive constraints. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Ilaria Canavotto and Eric Pacuit
by LIRa Seminar 22 Apr '20

22 Apr '20

Dear all, Tomorrow we will have our next LIRa session. Here is the zoom link: https://uva-live.zoom.us/j/96573697968?pwd=SlllTXpHL3NIaTJvRW8wZFg4SzM3Zz09 (Meeting ID: 965 7369 7968, Password: 026512). The details of the talk are below. You can find the guidelines for our online sessions here: https://projects.illc.uva.nl/lgc/seminar/guidelines-for-online-sessions/ Speaker: Ilaria Canavotto and Eric Pacuit Date and Time: Thursday, April 23rd 2020, 16:30-18:00 (Amsterdam time) Venue: online Title: Merging STIT and counterfactual logic Abstract. STIT logics and their various extensions have been used to clarify complex moral and legal ideas and to represent game-theoretic situations. Although both of these applications involve counterfactual reasoning, only a few STIT logics explicitly incorporate reasoning about counterfactuals. In this talk, we present a proposal that merges a standard logic of counterfactuals with a STIT logic. Taking a cue from the literature on causal models, we do this by developing and axiomatizing a STIT logic with action types, instants and deviant choices, where a choice is deviant when its performance violates some underlying causal laws, social or legal norms, or other ``rules of the game”. In order to provide a semantics for counterfactuals, we discuss three key intuitions supporting increasingly demanding definitions of similarity between possible histories: the rewind intuition, the causal independence intuition and the no forgetting intuition. In the second half of the talk, we explore an application to the epistemic foundations for backward and forward induction. Hope to see you there! The LIRa team

1 0

Workshop: Quantum and Beyond
by LIRa Seminar 18 Apr '20

18 Apr '20

Dear all, We forward the announcement of the online workshop Quantum and Beyond. Please, find the details below: The meeting \"Quantum and Beyond” on 28 and 29 April 2020, is devoted to recent logical and foundational investigations that have been inspired by quantum theory. After the pioneering approach of Birkhoff and von Neumann in the Thirties, the quantum theoretic formalism has suggested the development of new logical ideas that have been successfully applied to different fields: fuzzy and epistemic logics, quantum information and quantum computation theories, semantics of natural and artistic languages, pattern recognition and machine learning, cognitive sciences. We plan to host 8 lectures starting on 28 April and continuing on 29 April in the morning. Everyone is very welcome to attend via Zoom. More information is available at: https://sites.google.com/site/quantum8beyond/home On behalf of the Organizers, Sonja Smets (University of Amsterdam, ILLC) Roberto Giuntini (University of Cagliari and Centro Linceo Interdisciplinare B. Segre, Rome) Giuseppe Sergioli (University of Cagliari) The LIRa team

1 0

LIRa session (online only): Ilaria Canavotto and Eric Pacuit
by LIRa Seminar 18 Apr '20

18 Apr '20

Dear all, We will have our next LIRa session on Thursday, April 23rd. Our speakers are Ilaria Canavotto and Eric Pacuit. You will receive the zoom link and a reminder of the guidelines for online sessions the day before the talk. After the talk, we will continue the discussion with (online) drinks, as usual. Please, find the details below. Speaker: Ilaria Canavotto and Eric Pacuit Date and Time: Thursday, April 23rd 2020, 16:30-18:00 Venue: online Title: Merging STIT and counterfactual logic Abstract. STIT logics and their various extensions have been used to clarify complex moral and legal ideas and to represent game-theoretic situations. Although both of these applications involve counterfactual reasoning, only a few STIT logics explicitly incorporate reasoning about counterfactuals. In this talk, we present a proposal that merges a standard logic of counterfactuals with a STIT logic. Taking a cue from the literature on causal models, we do this by developing and axiomatizing a STIT logic with action types, instants and deviant choices, where a choice is deviant when its performance violates some underlying causal laws, social or legal norms, or other ``rules of the game”. In order to provide a semantics for counterfactuals, we discuss three key intuitions supporting increasingly demanding definitions of similarity between possible histories: the rewind intuition, the causal independence intuition and the no forgetting intuition. In the second half of the talk, we explore an application to the epistemic foundations for backward and forward induction. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Yu Wei
by LIRa Seminar 15 Apr '20

15 Apr '20

Dear all, Tomorrow we will have our next LIRa session, followed by online drinks as usual. You can find the details of the talk below. Here is the zoom link: https://uva-live.zoom.us/j/99755876133 (Meeting ID: 997 5587 6133). You may find the guidelines of our online sessions here: https://projects.illc.uva.nl/lgc/seminar/guidelines-for-online-sessions/ Speaker: Yu Wei Date and Time: Thursday, April 16th 2020, 16:30-18:00 (Note: the starting time is back to our normal slot of 16:30hrs) Venue: online Title: Quantifier-free Epistemic Term-Modal Logic with Assignments Abstract. In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly, which is unreasonable for various applications. Inspired by term-modal logic and assignment operators in dynamic logic, Yanjing Wang & Jeremy Seligman (2018) introduced a quantifier-free modal predicate logic where names can be non-rigid in order to handle various de dicto /de re distinctions. Their main technical result is a complete axiomatization over constant-domain S5 models. However, it is more interesting to allow varying domains where the existence of all agents is not commonly known, and also to include function symbols as a natural generalization. Note that there are many nontrivial questions about varying-domain models, like the accessibility relations for the agents non-existent at a world, and how to define an epistemic model in this setting. As we will see, with properly defined varying-domain models in place, we can express the meta-level notion “existence” and something just like Barcan formula & Converse Barcan formula in our object language though without any quantifiers. Additionally, varying-domain models provide us with a wider perspective to distinguish two sorts of constant-domain models, and prompt a systematic approach to give axiomatizations over various Kripke and epistemic models. As for the complexity, on one hand, we show the undecidability of all the logics over varying-domain and two kinds of constant-domain epistemic models. On the other hand, we can indeed find some decidable fragments of this modal predicate logic with function symbols. This is joint work with Yanjing Wang and Jeremy Seligman. Reference Wang, Y., Seligman, J. (2018). When names are not commonly known: epistemic logic with assignments. arXiv preprint arXiv:1805.03852. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Yu Wei
by LIRa Seminar 10 Apr '20

10 Apr '20

Dear all, We will have our next LIRa session on Thursday, April 16th, 16:30-18.00. Our speaker is Yu Wei. You will receive the zoom link and a reminder of the guidelines for online sessions the day before the talk. After the talk, we will continue the discussion with (online) drinks, as usual. Please, find the details below. Speaker: Yu Wei Date and Time: Thursday, April 16th 2020, 16:30-18:00 (Note: the starting time is back to our normal slot of 16:30hrs) Venue: online Title: Quantifier-free Epistemic Term-Modal Logic with Assignments Abstract. In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly, which is unreasonable for various applications. Inspired by term-modal logic and assignment operators in dynamic logic, Yanjing Wang & Jeremy Seligman (2018) introduced a quantifier-free modal predicate logic where names can be non-rigid in order to handle various de dicto /de re distinctions. Their main technical result is a complete axiomatization over constant-domain S5 models. However, it is more interesting to allow varying domains where the existence of all agents is not commonly known, and also to include function symbols as a natural generalization. Note that there are many nontrivial questions about varying-domain models, like the accessibility relations for the agents non-existent at a world, and how to define an epistemic model in this setting. As we will see, with properly defined varying-domain models in place, we can express the meta-level notion “existence” and something just like Barcan formula & Converse Barcan formula in our object language though without any quantifiers. Additionally, varying-domain models provide us with a wider perspective to distinguish two sorts of constant-domain models, and prompt a systematic approach to give axiomatizations over various Kripke and epistemic models. As for the complexity, on one hand, we show the undecidability of all the logics over varying-domain and two kinds of constant-domain epistemic models. On the other hand, we can indeed find some decidable fragments of this modal predicate logic with function symbols. This is joint work with Yanjing Wang and Jeremy Seligman. Reference Wang, Y., Seligman, J. (2018). When names are not commonly known: epistemic logic with assignments. arXiv preprint arXiv:1805.03852. Hope to see you there! The LIRa team

1 0

LIRa pre-easter drinks online (today!)
by LIRa Seminar 09 Apr '20

09 Apr '20

Dear all, While there is no LIRa talk today, we thought it would be nice to continue with our online LIRa drinks. So we have arranged a pre-easter LIRa party for today, at 17.00. As before, bring your own drink, and join us by clicking on the zoom link: https://uva-live.zoom.us/j/352474830 (Meeting ID: 352 474 830) Apologies for the short notice! We hope we will see you there nonetheless! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa April 2020