8/29 
Introductory Remarks: Logics of
Rational Agency 
Chapter 1 of [LOGDYN]

8/31 
A Primer on Epistemic Logic

Introductory Notes
on Modal Logic Chapter 12 of [MLOM]
Sections 13.1  13.3 [MAS]

9/5 
No Class: Labor Day


9/7 
A Primer on
Epistemic Logic, continued 
Introductory Notes
on Modal Logic

9/12 
Logics
of Knowledge and Belief 
EP, Logics
of Informational Attitudes and Informative Actions, Sections 1 &
2.
J. Halpern, Should
Knowledge Entail Belief?, Journal of Philosophical Logic
Problem Set 1 (Due Monday, 9/19 )

9/14 
Knowledge, Belief
and Unawareness 
EP, Logics
of Informational Attitudes and Informative Actions, Sections 1 &
2
E. Dekel, B. Lipman and A. Rustichini, Standard StateSpace Models
Preclude Unawareness, Econometrica (1998)

9/19 
Common
Knowledge 
M. Chwe Chapter 1 of
Rational Ritual
SEP Article on
Common Knowledge (Sections 1, 2 and 3.1)
Video by Steven Pinker
touching on issues of common knowledge

9/21 
Common Knowledge:
Agreeing to Disagree 
R. Aumann, Agreeing
to Disagree, Annals of Statistics
D. Samet, Agreeing
to disagree: the nonprobabilistic case

9/26 
Lectures 8 & 9 Handout 
D. Samet, Agreeing
to disagree: the nonprobabilistic case

9/28 
Lectures 8 & 9
Handout Proof
of the main result 
D. Monderer and D. Samet Approximating
Common Knowledge with Common Belief, Games and Economic Behavior
(Section 3).
Problem Set 2 (Due Wednesday, 10/5
)

10/3 
Introduction to Dynamic Logics of
Information 
J. van Benthem, Chapter 15 of [MLOM]

10/5 
The Logic of
Public Observation 
H. van Ditmarsch, W. van der Hoek, B. Kooi, Playing cards
with Hintikka

10/10 
Dynamic Logics of Information
Change 
EP, Logics
of Informational Attitudes and Informative Actions, (especially
Section 3.1)

10/12 
Dynamic logics
of belief change 
EP, Logics
of Informational Attitudes and Informative Actions
R. Stalnaker (2009). "Iterated Belief
Revision," Erkenntnis, 70(2): 189  209.

10/17 
Introduction to belief revision, part
1
Guest Lecturer: Paul
Pedersen 
A.P. Pedersen & H. ArlóCosta (2011).
Belief Revision. In L. Horsten and R. Pettigrew, editors,
Continuum Companion to Philosophical Logic.

10/19 
Introduction to
belief revision, part 2
Guest Lecturer: Paul
Pedersen 
A.P. Pedersen & H. ArlóCosta (2011).
Belief Revision. In L. Horsten and R. Pettigrew, editors,
Continuum Companion to Philosophical Logic.

10/24 
Grove's Representation Theorem, I
(see Grove's paper for more information) 
A. Grove, Two
Modellings for Theory Change, Journal of Philosophical Logic, 17,
pp. 157  170, 1988
Problem set 3 (midterm)

10/26 
Grove's Representation Theorem, II
(see Grove's paper for more information) 
A. Grove, Two
Modellings for Theory Change, Journal of Philosophical Logic, 17,
pp. 157  170, 1988

10/31 
Nonmonotonic reasoning 
A. Antonelli, Nonmonotonic
logic, Stanford Encyclopedia of Philosophy
J. Horty, Skepticism and
floating conclusions, Artificial Intelligence, 135: 55–72, 2002.

11/2 
Belief revision
and the Ramsey test 
P. Gardenfors (1986). Belief revisions and the Ramsey
test for conditionals, The Philosophical Review,
95:1, pp. 81  93.
H. Leitgib (2007). Beliefs in
Conditionals Vs. Conditional Beliefs, Topoi, 26:1,
pp. 115  132.

11/7 
Logics
of Time and Agency 
Y. Venema, Temporal
Logic, Chapter 10, L Goble (editor), The Blackwell Guide to
Philosophical Logic,
Blackwell Publishers, 2001, pp 203  223.
G. Governatori and A. Rotolo,
On the axiomatization of Elgesem's logic of agency and ability.
Journal of Philosophical Logic, 34, 4, pp. 403431, 2005.

11/9 
Logics of
Abilities and Logics of Action 
M. Brown, On the Logic of Ability,
Journal of Philosophical Logic, 17, p. 1  26, 1988.
J. van Benthem et al., Chapter 6:
Propositional Dynamic Logic, Logic in Action Open Course Project
P. Balbiani, Propositional Dynamic
Logic, Stanford Encyclopedia of Philosophy, 2007

11/14 
Introduction to STIT Logic 
J. Horty and N. Belnap The
deliberative STIT: a study of action, omission, ability, and
obligation, Journal of Philosophical Logic, vol. 24 (1995), pp. 583
 644.
P. Balbiani, A. Herzig and N. Troquard,
Alternative Axiomatics and Complexity of Deliberative STIT Theories,
Journal of Philosophical Logic, 37:4, pp. 387  406, 2008.

11/16 
Group action and
logics of preference 
Everything
Else Being Equal: A Modal Logic for Ceteris Paribus
Preferences, Journal of Philosophical Logic, 38:1, 2009.
M. Pauly A
Modal Logic for Coalitional Power in Games, Journal of Logic and
Computation, 12:1, pp. 149166, 2002.
Problem set 4

11/21 
Preference lifting 
Everything
Else Being Equal: A Modal Logic for Ceteris Paribus
Preferences, Journal of Philosophical Logic, 38:1, 2009.
Y. Kannai and B. Peleg, A
Note on the Extension of an
Order on a Set to the Power Set, Journal of Economic Theory, Vol.
32, pg. 172  175, 1984.

11/23 
No Class: Thanksgiving


11/28 
Knowhow, abilities, plans and logics
of intention 
Y. Shoham (2009). Logical
Theories of Intention and the Database Perspective, J. Philosophical
Logic 38(6), pgs. 633648
Section 14.4: Yoav Shoham and Kevin LeytonBrown, Multiagent Systems: Algorithmic,
GameTheoretic, and Logical Foundations, Cambridge University Press,
2009
Problem set 5

11/30 
Logics for
reasoning about games 
Johan van Benthem, Eric Pacuit and Olivier Roy, Games and Interaction: the
Logical Perspective, Games, 2(1), 52  86

12/5 
When
are two games the same?/Common knowledge of rationality 
J. Halpern, Substantive
rationality and backward induction
, Games and Economic Behavior 37, 2001, pp. 425435.

12/7 
Common
knowledge of rationality and backward induction 
J. Halpern, Substantive
rationality and backward induction, Games and Economic Behavior 37,
2001, pp. 425435.
A. Baltag, S. Smets and J. Zvesper, Keep
'hoping' for rationality: a solution to the backward induction
paradox, Synthese, Volume 169, Number 2, pgs. 301333, 2009.
