- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the logic of cooperation and propositional control
Artificial Intelligence 164 (1-2):81-119 (2005)
Abstract
This article has no associated abstract. (fix it)Author Profiles
My notes
Similar books and articles
Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
Michael Wooldridge.Modeling Distributed Artificial - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 269.
Reasoning about local properties in modal logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic. [REVIEW]Patrick Girard - 2009 - Australasian Journal of Logic 7:26-31.
Graded modalities in epistemic logic* W. Van der hoek.J. -J. Ch Meyer - 1991 - Logique Et Analyse 133:251.
Review: J.-J. Ch. Meyer, W. van Der Hoek, Epistemic Logic for AI and Computer Science. [REVIEW]Rineke Verbrugge - 1999 - Journal of Symbolic Logic 64 (4):1837-1840.
Conditional independence in propositional logic.Jérôme Lang, Paolo Liberatore & Pierre Marquis - 2002 - Artificial Intelligence 141 (1-2):79-121.
On rational entailment for Propositional Typicality Logic.Richard Booth, Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2019 - Artificial Intelligence 277 (C):103178.
Analytics
Added to PP
2020-12-22
Downloads
8 (#517,646)
6 months
5 (#1,552,255)
2020-12-22
Downloads
8 (#517,646)
6 months
5 (#1,552,255)
Historical graph of downloads
Author Profiles
Citations of this work
Together we know how to achieve: An epistemic logic of know-how.Pavel Naumov & Jia Tao - 2018 - Artificial Intelligence 262 (C):279-300.
Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.
Data-informed knowledge and strategies.Junli Jiang & Pavel Naumov - 2022 - Artificial Intelligence 309 (C):103727.
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Incentive engineering for Boolean games.Michael Wooldridge, Ulle Endriss, Sarit Kraus & Jérôme Lang - 2013 - Artificial Intelligence 195 (C):418-439.
References found in this work
Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo