ILLC-LIRa September 2016

illc-lira@list.uva.nl

1 participants
10 discussions

Tomorrow: LIRa session with Fengkui Ju
by LIRa Seminar 29 Sep '16

29 Sep '16

Dear all, tomorrow we will have our next LIRa session. Speaker: Fengkui Ju (Beijing Normal University) Date and Time: Friday, September 30th 2016, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Everything be in order until I get back! Abstract: Everyone is in some normative state which concerns what actions we ought to perform and what states we ought to reach. Normative states can be described by use of languages. Many things can change normative states including utterance of imperatives. Two types of imperatives can be identified: action and state imperatives. Utterance of the former changes what actions we may perform and utterance of the latter changes what states we may reach. This work presents a way to handle state imperatives based on CTL*. Hope to see you there! The LIRa team

1 0

This Friday: LIRa session with Fengkui Ju
by LIRa Seminar 27 Sep '16

27 Sep '16

Dear all, on Friday we will have our next LIRa session. Speaker: Fengkui Ju (Beijing Normal University) Date and Time: Friday, September 30th 2016, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Everything be in order until I get back! Abstract: Everyone is in some normative state which concerns what actions we ought to perform and what states we ought to reach. Normative states can be described by use of languages. Many things can change normative states including utterance of imperatives. Two types of imperatives can be identified: action and state imperatives. Utterance of the former changes what actions we may perform and utterance of the latter changes what states we may reach. This work presents a way to handle state imperatives based on CTL*. Hope to see you there! The LIRa team

1 0

Today: LIRa session with Tao Gu at 16:00 in room F3.20
by LIRa Seminar 23 Sep '16

23 Sep '16

Dear all, please note the following last minute change of time and room for today. Time: *16:00* Venue: *KdVI Seminar Room F3.20* Speaker: Tao Gu Title: ``Knowing value\'\' logic as a normal modal logic Abstract. Recent years witness a growing interest in nonstandard epistemic logics of ``knowing whether\'\', ``knowing what\'\', ``knowing how\'\', and so on. These logics are usually not normal, i.e., the standard axioms and reasoning rules for modal logic may be invalid. In this paper, we show that the conditional ``knowing value\'\' logic proposed by Wang and Fan can be viewed as a disguised normal modal logic by treating the negation of the Kv operator as a special diamond. Under this perspective, it turns out that the original first-order Kripke semantics can be greatly simplified by introducing a ternary relation R_i^c in standard Kripke models, which associates one world with two i-accessible worlds that do not agree on the value of constant c. Under intuitive constraints, the modal logic based on such Kripke models is exactly the one studied by Wang and Fan. Moreover, there is a very natural binary generalization of the ``knowing value\'\' diamond, which, surprisingly, does not increase the expressive power of the logic. The resulting logic with the binary diamond has a transparent normal modal system, which sharpens our understanding of the ``knowing value\'\' logic and simplifies some previously hard problems. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Tao Gu
by LIRa Seminar 22 Sep '16

22 Sep '16

Dear all, tomorrow we will have our next LIRa session. Speaker: Tao Gu Date and Time: Friday, September 23rd 2016, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: ``Knowing value\'\' logic as a normal modal logic. Abstract. Recent years witness a growing interest in nonstandard epistemic logics of ``knowing whether\'\', ``knowing what\'\', ``knowing how\'\', and so on. These logics are usually not normal, i.e., the standard axioms and reasoning rules for modal logic may be invalid. In this paper, we show that the conditional ``knowing value\'\' logic proposed by Wang and Fan can be viewed as a disguised normal modal logic by treating the negation of the Kv operator as a special diamond. Under this perspective, it turns out that the original first-order Kripke semantics can be greatly simplified by introducing a ternary relation R_i^c in standard Kripke models, which associates one world with two i-accessible worlds that do not agree on the value of constant c. Under intuitive constraints, the modal logic based on such Kripke models is exactly the one studied by Wang and Fan. Moreover, there is a very natural binary generalization of the ``knowing value\'\' diamond, which, surprisingly, does not increase the expressive power of the logic. The resulting logic with the binary diamond has a transparent normal modal system, which sharpens our understanding of the ``knowing value\'\' logic and simplifies some previously hard problems. Hope to see you there! The LIRa team

1 0

LogiCIC Workshop: Call for Papers
by LIRa Seminar 20 Sep '16

20 Sep '16

Dear all, the fifth LogiCIC workshop on The Logical Structure of Correlated Information Change will take place in Amsterdam on November 17-19, 2016. https://logicicworkshop2016.wordpress.com/ *About The Workshop:* This workshop is entirely devoted to the LogiCIC Research Project on *The Logical Structure of Correlated Information Change*. In this project we focus in particular on correlations that arise in situations in which the very act of learning new information may directly change the reality that is being learnt. An example is the way in which an introspective agent changes her beliefs when learning new higher-order information, i.e. information that may refer to her own beliefs. A similar situation arises when a scientist learns about a phenomenon by performing measurements that perturb the very phenomenon under study. More complex forms of correlated information change occur in groups of communicating agents when some agents’ beliefs about the others’ belief changes may trigger or influence their own belief change. In this interdisciplinary project, we will combine insights and techniques from a range of research domains, including logic, game theory, philosophy of science, network theory, quantum theory, belief revision theory, truth approximation and formal learning theory. Topics for presentations at the workshop will include: – epistemic and doxastic influence in social networks – formal models of knowledge and beliefs (plausibility models, topological models, neighborhood models etc.) – higher-order belief dynamics and knowledge updates – strategies for learning and truth convergence – Rational interaction, decision-making and planning in a multi-agent setting – Models of social-informational phenomena such as pluralistic ignorance, informational cascades, group polarization etc. Everyone is warmly invited to attend, but please do register on the website: https://logicicworkshop2016.wordpress.com/registration/ *List of Speakers:* TBA *Call For Papers:* Participants who are interested in presenting their work at the workshop are welcome to submit a 2-page abstract by 1 November 2016 (Central European Time). Submitted abstracts have to be uploaded on the following easychair site: https://easychair.org/conferences/?conf=logicic2016. Notifications of acceptance will be sent out by 7 November 2016. *Local Organizers:* Smets, Sonja (The Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands). And the LogiCIC team members Fernando R. Velázquez Quesada, Paolo Galeazzi and Soroush S. Rafiee Rad (UvA, The Netherlands). *Organizational Assistance:* Rossel, Pam (The Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands). **** This workshop is the fifth event in the series of LogiCIC workshops in Amsterdam: https://logicicworkshop2016.wordpress.com/ The workshop is sponsored by the LogiCIC project (ERC-2011-STG No. 283963), on \'The Logical Structure of Correlated Information Change\' funded by the European Research Council and the European Community under FP7. **** Hope to see you there! The LIRa team

1 0

LIRa session: Tao Gu
by LIRa Seminar 19 Sep '16

19 Sep '16

Dear all, this Friday we will have a LIRa session with Tao Gu. For later upcoming events, see https://www.illc.uva.nl/lgc/seminar/ Speaker: Tao Gu Date and Time: Friday, September 23rd 2016, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: ``Knowing value\'\' logic as a normal modal logic Abstract. Recent years witness a growing interest in nonstandard epistemic logics of ``knowing whether\'\', ``knowing what\'\', ``knowing how\'\', and so on. These logics are usually not normal, i.e., the standard axioms and reasoning rules for modal logic may be invalid. In this paper, we show that the conditional ``knowing value\'\' logic proposed by Wang and Fan can be viewed as a disguised normal modal logic by treating the negation of the Kv operator as a special diamond. Under this perspective, it turns out that the original first-order Kripke semantics can be greatly simplified by introducing a ternary relation R_i^c in standard Kripke models, which associates one world with two i-accessible worlds that do not agree on the value of constant c. Under intuitive constraints, the modal logic based on such Kripke models is exactly the one studied by Wang and Fan. Moreover, there is a very natural binary generalization of the ``knowing value\'\' diamond, which, surprisingly, does not increase the expressive power of the logic. The resulting logic with the binary diamond has a transparent normal modal system, which sharpens our understanding of the ``knowing value\'\' logic and simplifies some previously hard problems. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Branden Fitelson
by LIRa Seminar 18 Sep '16

18 Sep '16

Dear all, tomorrow we will have a LIRa session with Branden Fitelson. Speaker: *Branden Fitelson* (Northeastern University, Boston) Date and Time: *Monday*, September 19th 2016, *11:00-12:30* Venue: ILLC Seminar Room F1.15, Science Park 107. Title: *Two New(ish) Triviality Results for Indicative Conditionals.* Abstract: I will do two things in this talk: (1) present an axiomatic generalization of Gibbard\'s (logical) triviality result for indicative conditionals, and (2) present an algebraic strengthening of Lewis\'s (probabilistic) triviality result for indicative conditionals. Both results start from a very weak background theory (either logical or probabilistic) of the indicative conditional, and (relative to these weak backgrounds) both results will rely only on the so-called Import-Export Law. So, these results can be viewed as (general, and strong) \"odd consequences\" of Import-Export. Hope to see you there! The LIRa team

1 0

Next Monday: LIRa session with Branden Fitelson
by LIRa Seminar 13 Sep '16

13 Sep '16

Dear all, next Monday we will have our first LIRa session for this semester. Please note the special day and time. Regular sessions will start on Friday the 23rd. For all details see https://www.illc.uva.nl/lgc/seminar/ Speaker: Branden Fitelson (Northeastern University, Boston) Date and Time: Monday, September 19th 2016, 11:00-12:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Two New(ish) Triviality Results for Indicative Conditionals. Abstract: I will do two things in this talk: (1) present an axiomatic generalization of Gibbard\'s (logical) triviality result for indicative conditionals, and (2) present an algebraic strengthening of Lewis\'s (probabilistic) triviality result for indicative conditionals. Both results start from a very weak background theory (either logical or probabilistic) of the indicative conditional, and (relative to these weak backgrounds) both results will rely only on the so-called Import-Export Law. So, these results can be viewed as (general, and strong) \"odd consequences\" of Import-Export. Hope to see you all! The LIRa team

1 0

CANCELLED: LIRa session tomorrow
by LIRa Seminar 05 Sep '16

05 Sep '16

Dear all, unfortunately the LIRa session tomorrow will not take place. We will keep you informed about the next sessions. best wishes, The LIRa team

1 0

LIRa sessions on Fridays at 15:30
by LIRa Seminar 01 Sep '16

01 Sep '16

Dear all, please note that we are planning to have the regular LIRa sessions during the upcoming semester *on Fridays at 15:30* with occasional exceptions (such as the first one :-), on next Tuesday, September 6th at 12:30). Please keep this in mind when planning other meetings. In case you have an unavoidable, overriding long-term conflict with this time, please contact us by replying to this e-mail. Due to other constraints we cannot promise to change it but we\'ll try our best. Details on all sessions will soon be published on our seminar website: https://www.illc.uva.nl/lgc/seminar/ Hope to see you soon! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa September 2016