Group Announcement Logic
|
|
- Ralf Pope
- 6 years ago
- Views:
Transcription
1 Group Announcement Logic Thomas Ågotnes joint work with: Philippe Baliani Hans van Ditmarsch Palo Sean
2 Elevator pitch Group Announcement Logic extends pulic announcement logic with: G φ : Group G can make an announcement after which φ is true
3 Pulic Announcement Logic (Plaza, 1989) ϕ ::= p K i ϕ ϕ ϕ 1 ϕ 2 ϕ 1 ϕ 2 φ 1 is true, and φ 2 is true after φ 1 is announced Formally: M =(S, 1,..., n,v) i equivalence rel. over S M, s = K i φ t i s M, t = φ M, s = φ 1 φ 2 M, s = φ 1 and M φ 1,s = φ 2 The model resulting from removing states where φ 1 is false
4 Adding quantification: APAL M, s = φ 1 φ 2 M, s = φ 1 and M φ 1,s = φ 2 Idea (van Benthem, Analysis 64, 2004): interpret the modal diamond as there is an announcement such that.. Aritrary announcement logic (APAL) (Baliani et al., TARK 2007): ϕ ::= p K i ϕ ϕ ϕ 1 ϕ 2 ϕ 1 ϕ 2 φ M, s = φ ψ M, s = ψ φ
5 Quantification in APAL M, s = φ ψ M, s = ψ φ Note: the quantification includes announcements that cannot e truthfully made in the system
6 Quantification: announcements y an agent M, s = i φ ψ M, s = K i ψ φ
7 Quantification: announcements y an agent M, s = i φ ψ M, s = K i ψ φ
8 Quantification: announcements y a group M, s = G φ {ψ i : i G} M, s = i G K iψ φ Group Announcement Logic (GAL): ϕ ::= p K i ϕ ϕ ϕ 1 ϕ 2 ϕ 1 ϕ 2 G φ Similar to coalitional aility operators of Coalition Logic (Pauly, 2002) and ATL (Alur, Henzinger, Kupferman, 1997), with actions = pulic announcements But GAL is not a Coalition Logic
9 H. van Ditmarsch, The Russian Cards Prolem, Studia Logica 75, 2003 Example: The Russian Cards Prolem From a pack of seven known cards 0,1,2,3,4,5,6 Anne and Bill each draw three cards and Cath gets the remaining card. How can Anne and Bill openly inform each other aout their cards, without Cath learning who holds any of their cards?
10 H. van Ditmarsch, The Russian Cards Prolem, Studia Logica 75, 2003 Example: The Russian Cards Prolem From a pack of seven known cards 0,1,2,3,4,5,6 Anne and Bill each draw three cards and Cath gets the remaining card. How can Anne and Bill openly inform each other aout their cards, without Cath learning who holds any of their cards? Formalisation: 012 a : Ann has cards 0,1 and 2 (one) ijk (ijk K a ijk ) (two) ijk (ijk a K ijk a ) (three) 6 q=0 ((q a K c q a ) (q K c q ))
11 H. van Ditmarsch, The Russian Cards Prolem, Studia Logica 75, 2003 Example: The Russian Cards Prolem From a pack of seven known cards 0,1,2,3,4,5,6 Anne and Bill each draw three cards and Cath gets the remaining card. How can Anne and Bill openly inform each other aout their cards, without Cath learning who holds any of their cards? Formalisation: Known solution: 012 a : Ann has cards 0,1 and 2 (one) ijk (ijk K a ijk ) (two) ijk (ijk a K ijk a ) (three) 6 q=0 ((q a K c q a ) (q K c q )) anne 012 a 034 a 056 a 135 a 246 a ill
12 H. van Ditmarsch, The Russian Cards Prolem, Studia Logica 75, 2003 Example: The Russian Cards Prolem From a pack of seven known cards 0,1,2,3,4,5,6 Anne and Bill each draw three cards and Cath gets the remaining card. How can Anne and Bill openly inform each other aout their cards, without Cath learning who holds any of their cards? Formalisation: Known solution: PAL: 012 a : Ann has cards 0,1 and 2 (one) ijk (ijk K a ijk ) (two) ijk (ijk a K ijk a ) (three) 6 q=0 ((q a K c q a ) (q K c q )) anne 012 a 034 a 056 a 135 a 246 a ill K a anne K ill (one two three)
13 H. van Ditmarsch, The Russian Cards Prolem, Studia Logica 75, 2003 Example: The Russian Cards Prolem From a pack of seven known cards 0,1,2,3,4,5,6 Anne and Bill each draw three cards and Cath gets the remaining card. How can Anne and Bill openly inform each other aout their cards, without Cath learning who holds any of their cards? Formalisation: Known solution: PAL: GAL: 012 a : Ann has cards 0,1 and 2 (one) ijk (ijk K a ijk ) (two) ijk (ijk a K ijk a ) (three) 6 q=0 ((q a K c q a ) (q K c q )) anne 012 a 034 a 056 a 135 a 246 a ill K a anne K ill (one two three) a (one two three)
14 Quantification: sequences of announcements APAL: φ φ announcing in sequence ψ, χ announcing ψ [ψ]χ GAL: G G φ G φ?
15 Quantification: sequences of announcements APAL: φ φ announcing in sequence ψ, χ announcing ψ [ψ]χ GAL: G G φ G φ? Ki ψ, K i χ Ki ψ [ K i ψ] K i χ
16 Quantification: sequences of announcements APAL: φ φ announcing in sequence ψ, χ announcing ψ [ψ]χ GAL: G G φ G φ? Ki ψ, K i χ Ki ψ [ K i ψ] K i χ not a group announcement
17 Quantification: sequences of announcements APAL: φ φ announcing in sequence ψ, χ announcing ψ [ψ]χ GAL: G G φ G φ? Ki ψ, K i χ Ki ψ [ K i ψ] K i χ not a group announcement Theorem: Yes.
18 Quantification: sequences of announcements G G φ G φ M, s = G φ there is an announcement y G, after which φ
19 Quantification: sequences of announcements G G φ G φ M, s = G φ there is an announcement y G, after which φ there is a sequence of announcements y G, after which φ
20 Example: Russian Cards (ctnd.) K a anne K ill (one two three) a (one two three) a (one two three)
21 Being ale to without knowing it p s a p t s = a p K a a p
22 Being ale to, knowing that, ut not knowing how p,q u p, q v p,q s a p,q t φ = K q ( K p ˆK a (K p K q)) s = K a q φ t = K a p φ t = a φ s = a φ s = Ka a φ
23 Being ale to, knowing that, ut not knowing how p,q u p, q v p,q s a p,q t φ = K q ( K p ˆK a (K p K q)) s = K a q φ t = K a p φ t = a φ s = a φ s = Ka a φ s = φ
24 Being ale to, knowing that, ut not knowing how p,q u p, q v p,q s a p,q t φ = K q ( K p ˆK a (K p K q)) s = K a q φ t = K a p φ t = a φ s = a φ s = Ka a φ
25 Being ale to, knowing that, ut not knowing how p,q u p, q v p,q s a p,q t φ = K q ( K p ˆK a (K p K q)) s = K a q φ t = K a p φ t = a φ s = a φ s = Ka a φ t = φ
26 Being ale to, knowing that, ut not knowing how p,q u p, q v p,q s a p,q t φ = K q ( K p ˆK a (K p K q)) s = K a q φ t = K a p φ t = a φ s = a φ s = Ka a φ
27 Being ale to, knowing that, ut not knowing how p,q u p, q v p,q s a p,q t φ = K q ( K p ˆK a (K p K q)) s = K a q φ t = K a p φ t = a φ s = a φ s = Ka a φ s = K a p φ t = K a q φ
28 Being ale to, knowing that, ut not knowing how u p,q p, q v φ = K q ( K p ˆK a (K p K q)) s = K a q φ t = K a p φ s = K a p φ t = K a q φ p,q s s = a φ t = a φ The same does not a know how p,q to t s = Ka a φ announcement will not achieve the goal in oth s and t - a achieve it
29 Expressing knowledge de dicto/de re Aility Knowledge of aility, de dicto Knowledge of aility, de re ψ s = K a ψ φ s a t ψ t = K a ψ φ ψ s a tt = K a ψ φ s = a φ s = K a a φ??
30 Expressing knowledge de dicto/de re Aility Knowledge of aility, de dicto Knowledge of aility, de re ψ s = K a ψ φ s a t ψ t = K a ψ φ ψ s a tt = K a ψ φ s = a φ s = K a a φ?? s = a K a φ ψ s = K a ψ K a φ
31 Expressing knowledge de dicto/de re Aility Knowledge of aility, de dicto Knowledge of aility, de re ψ s = K a ψ φ s a t ψ t = K a ψ φ ψ s a tt = K a ψ φ s = a φ s = K a a φ?? s = a K a φ ψ s = K a ψ K a φ
32 Expressing knowledge de dicto/de re Aility Knowledge of aility, de dicto Knowledge of aility, de re ψ s = K a ψ φ s a t ψ t = K a ψ φ ψ s a tt = K a ψ φ s = a φ s = K a a φ?? Depends on (1) the fact that actions are announcements (2) the S5 properties s = a K a φ ψ s = K a ψ K a φ
33 Example: Russian Cards (ctnd.) Ann and Bill knows how to exectute a successful protocol: a K a (two three K (one two three))
34 Some logical properties [G H]φ [G][H]φ G [G]φ [G] G φ (Church-Rosser) G [H]φ [H] G φ (..generalised)
35 Axiomatisation S5 n axioms and rules P AL axioms and rules [G]φ [ i G K iψ i ]φ where ψ i L el From φ, infer [G]φ From φ [θ][ i G K ip i ]ψ, infer φ [θ][g]ψ where p i Θ φ Θ θ Θ ψ Theorem: Sound & complete.
36 Model Checking The model checking prolem: Given M, s and φ, does M, s = φ hold? Theorem: The model checking prolem is PSPACE-complete (also extends to APAL)
37 Directions More general actions Coalition Announcement Logic a coalition logic there are announcements y G such that for all announcements y the other agents,... Pulic Announcement Games -> Hans talk
38 For more details: T. Ågotnes and H. van Ditmarsch, Coalitions and Announcements, Proc. AAMAS 2008 T. Ågotnes, P. Baliani, H. van Ditmarsch and P. Sean, Group Announcement Logic, Journal of Applied Logic 8(1), 2010
Strategic Coalitions with Perfect Recall
Strategic Coalitions with Perfect Recall Pavel Naumov Department of Computer Science Vassar College Poughkeepsie, New York 2604 pnaumov@vassar.edu Jia Tao Department of Computer Science Lafayette College
More informationLogics for MAS: a critical overview
Logics for MAS: a critical overview Andreas Herzig CNRS, University of Toulouse, IRIT, France IJCAI 2013, August 9, 2013 1 / 37 Introduction 2 / 37 Introduction Multi-Agent Systems (MAS): agents with imperfect
More informationLogics of Rational Agency Lecture 3
Logics of Rational Agency Lecture 3 Eric Pacuit Tilburg Institute for Logic and Philosophy of Science Tilburg Univeristy ai.stanford.edu/~epacuit July 29, 2009 Eric Pacuit: LORI, Lecture 3 1 Plan for the
More informationWhat will they say? Public Announcement Games
What will they say? Public Announcement Games Thomas Ågotnes Hans van Ditmarsch Abstract Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular,
More informationKnowledge, Strategies, and Know-How
KR 2018, Tempe, AZ, USA Knowledge, Strategies, and Know-How Jia Tao Lafayette College Pavel Naumov Claremont McKenna College http://reasoning.eas.asu.edu/kr2018/ "!! Knowledge, Strategies, Know-How!!?!!
More informationValentin Goranko Stockholm University. ESSLLI 2018 August 6-10, of 33
ESSLLI 2018 course Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems Lecture 4: Logics for temporal strategic reasoning with complete information Valentin Goranko Stockholm University
More informationLogics for multi-agent systems: an overview
Logics for multi-agent systems: an overview Andreas Herzig University of Toulouse and CNRS, IRIT, France EASSS 2014, Chania, 17th July 2014 1 / 40 Introduction course based on an overview paper to appear
More informationYanjing Wang: An epistemic logic of knowing what
An epistemic logic of knowing what Yanjing Wang TBA workshop, Lorentz center, Aug. 18 2015 Background: beyond knowing that A logic of knowing what Conclusions Why knowledge matters (in plans and protocols)
More informationValentin Goranko Stockholm University. ESSLLI 2018 August 6-10, of 29
ESSLLI 2018 course Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems Lecture 5: Logics for temporal strategic reasoning with incomplete and imperfect information Valentin Goranko Stockholm
More informationLogic and Artificial Intelligence Lecture 21
Logic and Artificial Intelligence Lecture 21 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationKnowable as known after an announcement
RESEARCH REPORT IRIT/RR 2008-2 FR Knowable as known after an announcement Philippe Balbiani 1 Alexandru Baltag 2 Hans van Ditmarsch 1,3 Andreas Herzig 1 Tomohiro Hoshi 4 Tiago de Lima 5 1 Équipe LILAC
More informationKnowable as known after an announcement Balbiani, P.; Baltag, A.; van Ditmarsch, H.P.; Herzig, A.; Hoshi, T.; de Lima, T.
UvA-DARE (Digital Academic Repository) Knowable as known after an announcement Balbiani, P.; Baltag, A.; van Ditmarsch, H.P.; Herzig, A.; Hoshi, T.; de Lima, T. Published in: Review of Symbolic Logic DOI:
More informationA Logic for Cooperation, Actions and Preferences
A Logic for Cooperation, Actions and Preferences Lena Kurzen Universiteit van Amsterdam L.M.Kurzen@uva.nl Abstract In this paper, a logic for reasoning about cooperation, actions and preferences of agents
More informationProduct Update and Looking Backward
Product Update and Looking Backward Audrey Yap May 21, 2006 Abstract The motivation behind this paper is to look at temporal information in models of BMS product update. That is, it may be useful to look
More informationSchematic Validity in Dynamic Epistemic Logic: Decidability
This paper has been superseded by W. H. Holliday, T. Hoshi, and T. F. Icard, III, Information dynamics and uniform substitution, Synthese, Vol. 190, 2013, 31-55. Schematic Validity in Dynamic Epistemic
More informationAlternating Time Temporal Logics*
Alternating Time Temporal Logics* Sophie Pinchinat Visiting Research Fellow at RSISE Marie Curie Outgoing International Fellowship * @article{alur2002, title={alternating-time Temporal Logic}, author={alur,
More informationarxiv: v2 [cs.lo] 10 Sep 2014
A simple proof of the completeness ofapal Philippe Balbiani and Hans van Ditmarsch arxiv:1409.2612v2 [cs.lo] 10 Sep 2014 October 14, 2018 Abstract We provide a simple proof of the completeness of arbitrary
More informationEpistemic Logic: VI Dynamic Epistemic Logic (cont.)
Epistemic Logic: VI Dynamic Epistemic Logic (cont.) Yanjing Wang Department of Philosophy, Peking University Oct. 26th, 2015 Two basic questions Axiomatizations via reduction A new axiomatization Recap:
More informationDynamic Logics of Knowledge and Access
Dynamic Logics of Knowledge and Access Tomohiro Hoshi (thoshi@stanford.edu) Department of Philosophy Stanford University Eric Pacuit (e.j.pacuit@uvt.nl) Tilburg Center for Logic and Philosophy of Science
More informationResource-bounded alternating-time temporal logic
Resource-bounded alternating-time temporal logic Natasha Alechina University of Nottingham Nottingham, UK nza@cs.nott.ac.uk Brian Logan University of Nottingham Nottingham, UK bsl@cs.nott.ac.uk Abdur Rakib
More informationReversed Squares of Opposition in PAL and DEL
Center for Logic and Analytical Philosophy, University of Leuven lorenz.demey@hiw.kuleuven.be SQUARE 2010, Corsica Goal of the talk public announcement logic (PAL), and dynamic epistemic logic (DEL) in
More informationThe Muddy Children:A logic for public announcement
The Muddy Children: Jesse Technical University of Eindhoven February 10, 2007 The Muddy Children: Outline 1 2 3 4 The Muddy Children: Quincy Prescott Baba: At least one of you is muddy. Quincy: I don t
More informationKnowledge and Action in Semi-Public Environments
Knowledge and Action in Semi-Public Environments Wiebe van der Hoek, Petar Iliev, and Michael Wooldridge University of Liverpool, United Kingdom {Wiebe.Van-Der-Hoek,pvi,mjw}@liverpool.ac.uk Abstract. We
More informationLogic and Artificial Intelligence Lecture 12
Logic and Artificial Intelligence Lecture 12 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationIFI TECHNICAL REPORTS. Institute of Computer Science, Clausthal University of Technology. IfI-05-10
IFI TECHNICAL REPORTS Institute of Computer Science, Clausthal University of Technology IfI-05-10 Clausthal-Zellerfeld 2005 Constructive Knowledge: What Agents Can Achieve under Incomplete Information
More informationRelaxing Exclusive Control in Boolean Games
Relaxing Exclusive Control in Boolean Games Francesco Belardinelli IBISC, Université d Evry and IRIT, CNRS, Toulouse belardinelli@ibisc.fr Dominique Longin IRIT, CNRS, Toulouse dominique.longin@irit.fr
More informationFirst-order Modal Languages for the Specification of Multi-agent Systems
First-order Modal Languages for the Specification of Multi-agent Systems Joint work with Alessio Lomuscio Department of Computing Imperial College London November 24, 2011 Background Propositional modal
More informationThe Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) Davide Grossi University of Liverpool D.Grossi@liverpool.ac.uk Emiliano Lorini IRIT-CNRS, Toulouse University François Schwarzentruber
More informationA geometric protocol for cryptography with cards arxiv: v2 [cs.cr] 24 Jan 2013
A geometric protocol for cryptography with cards arxiv:1301.4289v2 [cs.cr] 24 Jan 2013 Andrés Cordón Franco, Hans van Ditmarsch, David Fernández Duque, and Fernando Soler Toscano August 6, 2018 Abstract
More informationReasoning about the Transfer of Control
Journal of Artificial Intelligence Research 37 (2010) 437 477 Submitted 8/09; published 3/10 Reasoning about the Transfer of Control Wiebe van der Hoek Dirk Walther Michael Wooldridge Department of Computer
More informationA Selected Answers to Exercises
A Selected Answers to Exercises Answers to Exercises from Chapter 2 Answer to Exercise 2.5 We give an informal argument using a formal proof concept: that of induction over n. The case n = 0 is straightforward
More informationTowards Symbolic Factual Change in Dynamic Epistemic Logic
Towards Symbolic Factual Change in Dynamic Epistemic Logic Malvin Gattinger ILLC, Amsterdam July 18th 2017 ESSLLI Student Session Toulouse Are there more red or more blue points? Are there more red or
More informationLogic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva.
Logic and Social Choice Theory A Survey Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl November 16, 2007 Setting the Stage: Logic and Games Game Logics Logics
More informationAlternating-time Temporal Logics with Irrevocable Strategies
Alternating-time Temporal Logics with Irrevocable Strategies Thomas Ågotnes Dept. of Computer Engineering Bergen University College, Bergen, Norway tag@hib.no Valentin Goranko School of Mathematics Univ.
More informationEpistemic Informativeness
Epistemic Informativeness Yanjing Wang and Jie Fan Abstract In this paper, we introduce and formalize the concept of epistemic informativeness (EI) of statements: the set of new propositions that an agent
More informationTopics in Social Software: Information in Strategic Situations (Draft: Chapter 4) Eric Pacuit Comments welcome:
Topics in Social Software: Information in Strategic Situations (Draft: Chapter 4) Eric Pacuit Comments welcome: epacuit@cs.gc.cuny.edu February 12, 2006 Chapter 1 Communication Graphs The previous chapter
More informationTR : Public and Private Communication Are Different: Results on Relative Expressivity
City University of New York CUNY) CUNY Academic Works Computer Science Technical Reports The Graduate Center 2008 TR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity
More informationInference and update. Fernando Raymundo Velázquez-Quesada
DOI 10.1007/s11229-009-9556-2 Inference and update Fernando Raymundo Velázquez-Quesada Received: 18 November 2008 / Accepted: 7 April 2009 The Author(s) 2009. This article is published with open access
More informationAlternating-Time Temporal Logic
Alternating-Time Temporal Logic R.Alur, T.Henzinger, O.Kupferman Rafael H. Bordini School of Informatics PUCRS R.Bordini@pucrs.br Logic Club 5th of September, 2013 ATL All the material in this presentation
More informationSome Remarks on Alternating Temporal Epistemic Logic
Some Remarks on Alternating Temporal Epistemic Logic Corrected version: July 2003 Wojciech Jamroga Parlevink Group, University of Twente, Netherlands Institute of Mathematics, University of Gdansk, Poland
More informationTowards A Multi-Agent Subset Space Logic
Towards A Multi-Agent Subset Space Logic A Constructive Approach with Applications Department of Computer Science The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net
More informationModel Checking Strategic Ability Why, What, and Especially: How?
Model Checking Strategic Ability Why, What, and Especially: How? Wojciech Jamroga 1 Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland w.jamroga@ipipan.waw.pl Abstract Automated
More informationA Survey of Topologic
Illuminating New Directions Department of Computer Science Graduate Center, the City University of New York cbaskent@gc.cuny.edu // www.canbaskent.net/logic December 1st, 2011 - The Graduate Center Contents
More informationStrategically Knowing How
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) Strategically Knowing How Raul Fervari University of Córdoba CONICET Andreas Herzig University of Toulouse
More informationSimulation and information: quantifying over epistemic events
Simulation and information: quantifying over epistemic events Hans van Ditmarsch 12 and Tim French 3 1 Computer Science, University of Otago, New Zealand, hans@cs.otago.ac.nz 2 CNRS-IRIT, Université de
More informationRelaxing Exclusive Control in Boolean Games
Relaxing Exclusive Control in Boolean Games Francesco Belardinelli IBISC, Université d Evry and IRIT, CNRS, Toulouse belardinelli@ibisc.fr Dominique Longin IRIT, CNRS, Toulouse dominique.longin@irit.fr
More informationSocially Friendly and Group Protecting Coalition Logics
Socially Friendly and Group Protecting Coalition Logics Valentin Goranko 1,2 and Sebastian Enqvist 1 1 Stockholm University, Sweden 2 University of Johannesburg, South Africa (visiting professorship) valentin.goranko@philosophy.su.se,
More informationNeighborhood Semantics for Modal Logic Lecture 3
Neighborhood Semantics for Modal Logic Lecture 3 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 15, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 3 1 Plan for the
More informationHow to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague, such as: this paint is grey.
Major results: (wrt propositional logic) How to reason correctly. How to reason efficiently. How to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague,
More informationTowards a Logic of Social Welfare
Towards a Logic of Social Welfare Thomas Ågotnes 1, Wiebe van der Hoek 2, and Michael Wooldridge 2 1 Department of Informatics, University of Bergen, agotnes@ii.uib.no 2 Department of Computer Science,
More informationModal Logics. Most applications of modal logic require a refined version of basic modal logic.
Modal Logics Most applications of modal logic require a refined version of basic modal logic. Definition. A set L of formulas of basic modal logic is called a (normal) modal logic if the following closure
More informationCoalition Games and Alternating Temporal Logics (Corrected version: September 7, 2001)
Coalition Games and Alternating Temporal Logics (Corrected version: September 7, 2001) Valentin Goranko Department of Mathematics, Rand Afrikaans University PO Box 524, Auckland Park 2006, Johannesburg,
More informationSome Exponential Lower Bounds on Formula-size in Modal Logic
Some Exponential Lower Bounds on Formula-size in Modal Logic Hans van Ditmarsch 1 CNRS, LORIA Université de Lorraine Jie Fan 2 Department of Philosophy Peking University Wiebe van der Hoek 3 Department
More informationSOME SEMANTICS FOR A LOGICAL LANGUAGE FOR THE GAME OF DOMINOES
SOME SEMANTICS FOR A LOGICAL LANGUAGE FOR THE GAME OF DOMINOES Fernando R. Velázquez-Quesada Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas Universidad Nacional Autónoma de México
More informationLogic and Artificial Intelligence Lecture 22
Logic and Artificial Intelligence Lecture 22 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationuse these reduction axioms to reduce both the model checking problem and the satisfiability problem of DEL to the model checking problem and the satis
On the Complexity of Dynamic Epistemic Logic Guillaume Aucher University of Rennes - INRIA guillaume.aucher@irisa.fr François Schwarzentruber ENS Cachan - Brittany extension francois.schwarzentruber@bretagne.enscachan.fr
More informationReasoning about Action and Cooperation
Reasoning about Action and Cooperation Luigi Sauro Jelle Gerbrandy Dipartimento di Informatica University of Torino, Italia jelle@gerbrandy.com sauro@di.unito.it Wiebe van der Hoek Michael Wooldridge Department
More informationSecond-Order Know-How Strategies
Vassar ollege Digital Window @ Vassar Faculty Research and Reports Summer 7-0-08 Pavel Naumov pnaumov@vassar.edu Jia Tao Lafayette ollege, taoj@lafayette.edu Follow this and additional works at: https://digitalwindow.vassar.edu/faculty_research_reports
More information1. The Modal System ZFM
Bulletin of the Section of Logic Volume 14/4 (1985), pp. 144 148 reedition 2007 [original edition, pp. 144 149] Lafayette de Moraes ON DISCUSSIVE SET THEORY Abstract This paper was read at the VII Simpōsio
More informationLogics of Rational Agency Lecture 2
Logics of Rational Agency Lecture 2 Tilburg Institute for Logic and Philosophy of Science Tilburg Univeristy ai.stanford.edu/~epacuit June 23, 2010 Part 2: Ingredients of a Logical Analysis of Rational
More informationFirst-Order Modal Logic and the Barcan Formula
First-Order Modal Logic and the Barcan Formula Eric Pacuit Stanford University ai.stanford.edu/ epacuit March 10, 2009 Eric Pacuit: The Barcan Formula, 1 Plan 1. Background Neighborhood Semantics for Propositional
More informationFlat Coalgebraic Fixed Point Logics
Lutz Schröder, Yde Venema: Flat Coalgebraic Fixed Point Logics 1 IFIP WG 1.3 Meeting, Etelsen, July 2010 Flat Coalgebraic Fixed Point Logics Lutz Schröder 1,2 Yde Venema 3 1 Safe and Secure Cognitive Systems,
More informationOn the Logic of Normative Systems
On the Logic of Normative Systems Thomas Ågotnes 1, Wiebe van der Hoek 2, Juan A. Rodríguez-Aguilar 3, Carles Sierra 3, Michael Wooldridge 2 1 Bergen University College 2 University of Liverpool 3 CSIC-IIIA
More informationSome Observations on Nabla Modality
Some Observations on Nabla Modality Can Başkent Department of Computer Science, University of Bath can@canbaskent.net www.canbaskent.net/logic 1 Introduction and Motivation The traditional necessity and
More informationA Strategic Epistemic Logic for Bounded Memory Agents
CNRS, Université de Lorraine, Nancy, France Workshop on Resource Bounded Agents Barcelona 12 August, 2015 Contents 1 Introduction 2 3 4 5 Combining Strategic and Epistemic Reasoning The goal is to develop
More informationReasoning about Strategies: From module checking to strategy logic
Reasoning about Strategies: From module checking to strategy logic based on joint works with Fabio Mogavero, Giuseppe Perelli, Luigi Sauro, and Moshe Y. Vardi Luxembourg September 23, 2013 Reasoning about
More informationArbitrary Announcements in Propositional Belief Revision
Arbitrary Announcements in Propositional Belief Revision Aaron Hunter British Columbia Institute of Technology Burnaby, Canada aaron hunter@bcitca Francois Schwarzentruber ENS Rennes Bruz, France francoisschwarzentruber@ens-rennesfr
More informationOn Logics of Strategic Ability based on Propositional Control
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) On Logics of Strategic Ability based on Propositional Control Francesco Belardinelli 1 and Andreas Herzig
More informationResearch Statement Christopher Hardin
Research Statement Christopher Hardin Brief summary of research interests. I am interested in mathematical logic and theoretical computer science. Specifically, I am interested in program logics, particularly
More informationQualitative Action Theory
Qualitative Action Theory A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency Stefan Wölfl Institut für Informatik, Albert-Ludwigs-Universität Freiburg
More informationCommon Knowledge in Update Logics
Common Knowledge in Update Logics Johan van Benthem, Jan van Eijck and Barteld Kooi Abstract Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups
More informationPDL as a Multi-Agent Strategy Logic
PDL as a Multi-Agent Strategy Logic Extended Abstract Jan van Eijck CWI and ILLC Science Park 123 1098 XG Amsterdam, The Netherlands jve@cwi.nl ABSTRACT Propositional Dynamic Logic or PDL was invented
More informationA Modal Logic of Epistemic Games
Submitted to Games. Pages 1-49. OPEN ACCESS games ISSN 2073-4336 www.mdpi.com/journal/games Article A Modal Logic of Epistemic Games Emiliano Lorini 1, François Schwarzentruber 1 1 Institut de Recherche
More informationETL, DEL, and Past Operators
ETL, DEL, and Past Operators Tomohiro Hoshi Stanford University thoshi@stanford.edu Audrey Yap University of Victoria ayap@uvic.ca Abstract [8] merges the semantic frameworks of Dynamic Epistemic Logic
More informationSocial Choice Theory for Logicians Lecture 5
Social Choice Theory for Logicians Lecture 5 Eric Pacuit Department of Philosophy University of Maryland, College Park ai.stanford.edu/ epacuit epacuit@umd.edu June 22, 2012 Eric Pacuit: The Logic Behind
More informationReasoning about actions meets strategic logics Quand le raisonnement sur les actions rencontre les logiques stratégiques
Reasoning about actions meets strategic logics Quand le raisonnement sur les actions rencontre les logiques stratégiques Andreas Herzig lorini@irit.fr Emiliano Lorini herzig@irit.fr Dirk Walther dirkww@googlemail.com
More informationSome consequences of compactness in Lukasiewicz Predicate Logic
Some consequences of compactness in Lukasiewicz Predicate Logic Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada 7 th Panhellenic Logic
More informationLogics For Epistemic Programs
1 / 48 Logics For Epistemic Programs by Alexandru Baltag and Lawrence S. Moss Chang Yue Dept. of Philosophy PKU Dec. 9th, 2014 / Seminar 2 / 48 Outline 1 Introduction 2 Epistemic Updates and Our Target
More informationReasoning about Normative Update
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK nza@cs.nott.ac.uk Mehdi
More informationPreferences in Game Logics
Preferences in Game Logics Sieuwert van Otterloo Department of Computer Science University of Liverpool Liverpool L69 7ZF, United Kingdom sieuwert@csc.liv.ac.uk Wiebe van der Hoek wiebe@csc.liv.ac.uk Michael
More informationLOGICS OF AGENCY CHAPTER 5: APPLICATIONS OF AGENCY TO POWER. Nicolas Troquard. ESSLLI 2016 Bolzano 1 / 66
1 / 66 LOGICS OF AGENCY CHAPTER 5: APPLICATIONS OF AGENCY TO POWER Nicolas Troquard ESSLLI 26 Bolzano 2 / 66 OVERVIEW OF THIS CHAPTER Remarks about power and deemed ability Power in Coalition Logic and
More informationDepartment of Computer Science, University of Otago. The logic of ontic and epistemic change
Department of Computer Science, University of Otago Technical Report OUCS-2006-11 The logic of ontic and epistemic change Authors: Hans van Ditmarsch Department of Computer Science, University of Otago
More informationUndecidability in Epistemic Planning
Undecidability in Epistemic Planning Thomas Bolander, DTU Compute, Tech Univ of Denmark Joint work with: Guillaume Aucher, Univ Rennes 1 Bolander: Undecidability in Epistemic Planning p. 1/17 Introduction
More informationMATH 225: Foundations of Higher Matheamatics. Dr. Morton. 3.4: Proof by Cases
MATH 225: Foundations of Higher Matheamatics Dr. Morton 3.4: Proof y Cases Chapter 3 handout page 12 prolem 21: Prove that for all real values of y, the following inequality holds: 7 2y + 2 2y 5 7. You
More informationReasoning about Agent Types
Noname manuscript No. (will be inserted by the editor) Reasoning about Agent Types and the hardest logic puzzle ever Fenrong Liu Yanjing Wang the date of receipt and acceptance should be inserted later
More informationVerifying Epistemic Protocols under Common Knowledge
Verifying Epistemic Protocols under Common Knowledge Yanjing Wang Centrum Wiskunde en Informatica PO Box 94079 1090 GB Amsterdam, NL y.wang@cwi.nl Lakshmanan Kuppusamy Centrum Wiskunde en Informatica PO
More informationArtificial Intelligence
Artificial Intelligence 173 (2009) 45 79 Contents lists available at ScienceDirect Artificial Intelligence www.elsevier.com/locate/artint Reasoning about coalitional games Thomas Ågotnes a,, Wiebe van
More informationA Logic of Games and Propositional Control
A Logic of Games Propositional Control Nicolas Troquard Wiebe van der Hoek Michael Wooldridge Department of Computer Science University of Liverpool Liverpool L69 3BX, UK { nico, wiebe.van-der-hoek, mjw
More informationA Logic for Reasoning About Game Strategies
A Logic for Reasoning About Game Strategies Dongmo Zhang The University of Western Sydney Australia d.zhang@uws.edu.au Michael Thielscher The University of New South Wales Australia mit@cse.unsw.edu.au
More informationSymbolic Model Checking for Dynamic Epistemic Logic S5 and Beyond
Symbolic Model Checking for Dynamic Epistemic Logic S5 and Beyond Johan van Benthem 1,2,3, Jan van Eijck 1,4, Malvin Gattinger 1, and Kaile Su 5,6 1 Institute for Logic, Language & Computation, University
More informationKnowing Values and Public Inspection
Knowing Values and Public Inspection Malvin Gattinger with Jan van Eijck & Yanjing Wang arxiv.org/abs/1609.03338 slides at w4eg.de/malvin 2016-10-14, LIRa ILLC, Amsterdam Introduction Knowing that announcing
More informationReasoning about local properties in modal logic
Reasoning about local properties in modal logic Hans van Ditmarsch Department of Logic University of Seville Spain hvd@us.es Wiebe van der Hoek Department of Computer Science University of Liverpool, UK
More informationMerging Frameworks for Interaction: DEL and ETL
Merging Frameworks for Interaction: DEL and ETL Johan van Benthem Jelle Gerbrandy Eric Pacuit February 14, 2007 1 Introduction Many logical systems today describe behaviour of intelligent interacting agents
More informationPopulational Announcement Logic (PPAL)
Populational Announcement Logic (PPAL) Vitor Machado 1 and Mario Benevides 1,2 1 Institute of Mathematics Federal University of Rio de Janeiro 2 System Engineering and Computer Science Program (PESC/COPPE)
More informationSecond-order Propositional Announcement Logic
Second-order Proositional Announcement Logic Francesco Belardinelli Laboratoire IBISC Université d Evry Evry, France belardinelli@ibisc.fr Hans van Ditmarsch LORIA CNRS Université de Lorraine Vandoeuvre-lès-Nancy,
More informationA Temporal Logic of Strategic Knowledge
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning A Temporal Logic of Strategic Knowledge Xiaowei Huang and Ron van der Meyden The University
More informationLogic: Propositional Logic Truth Tables
Logic: Propositional Logic Truth Tables Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06
More informationEverything is Knowable how to get to know whether a proposition is true
Everything is Knowable how to get to know whether a proposition is true Hans van Ditmarsch Wiebe van der Hoek Petar Iliev Abstract Fitch showed that not every true proposition can be known in due time;
More informationEndogenizing Epistemic Actions
Endogenizing Epistemic Actions Will Nalls Carnegie Mellon University Pittsburgh, USA will.nalls@gmail.com Adam Bjorndahl Carnegie Mellon University Pittsburgh, USA abjorn@andrew.cmu.edu Through a series
More informationLecture 8: Introduction to Game Logic
Lecture 8: Introduction to Game Logic Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Lecture Date: April 6, 2006 Caput Logic, Language and Information: Social
More information