# Publications, Presentations, and Working Papers

Logic

Game Theory

Social Choice Theory
2022

2021

2020

2019

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

## Books

Neighborhood Semantics for Modal Logic, Eric Pacuit, Springer, 2017
• official version
• Consult the book website for a brief overview.

## Working Papers

Stable Voting, Wesley Holliday and Eric Pacuit, under review, 2022
• preprint
An approach to generalizing some impossibility theorems in social choice, Wesley H. Holliday, Eric Pacuit, and Saam Zahedian, under submission, 2022
• official version

## Journal Articles

Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers, Wesley H. Holliday and Eric Pacuit, Forthcoming in Public Choice, 2022
• preprint
Choice Driven Counterfactuals, Ilaria Canavotto and Eric Pacuit, Journal of Philosophical Logic, 51, pp. 297 - 345, 2022
• official version
Axioms for Defeat in Democratic Elections, Wesley Holliday and Eric Pacuit, Journal of Theoretical Politics, 33(4), pp. 475 - 524, 2021
• official version
Arrow's Decisive Coalitions, Wesley Holliday and Eric Pacuit, Social Choice and Welfare, 54, pp. 463–505, 2020
• official version
Action Types in Stit Semantics, John F. Horty and Eric Pacuit, Review of Symbolic Logic, 10(4), pp. 617 - 637, 2017
• official version
Dynamics for Probabilistic Common Belief, Eric Pacuit, Studies in Logic, 8(4), pp. 32 - 53, 2015
• official version
On the Use (and Abuse) of Logic in Game Theory, Eric Pacuit, Journal of Philosophical Logic, 44(6), pp. 741 - 753, 2015
• official version
Changing Types: Information Dynamics for Qualitative Type Spaces, Dominik Klein and Eric Pacuit, Studia Logica, 102(2), pp. 297 - 319, 2014
• official version
Evidence and Plausibility in Neighborhood Structures, Johan van Benthem, David Fernandez-Duque, and Eric Pacuit, Annals of Pure and Applied Logic, 165(1), pp. 106 - 133, 2014
• official version
• This paper supercedes Johan van Benthem, David Fernández-Duque and Eric Pacuit, Evidence Logic: A New Look at Neighborhood Structures, in Proceedings Of Advances In Modal Logic Volume 9, pp. 97 - 118.
Dynamic Epistemic Logic I: Modeling Knowledge and Belief, Eric Pacuit, Philosophy Compass, 8(9), pp. 798 - 814, 2013
• official version
Dynamic Epistemic Logic II: Logics of Information Change, Eric Pacuit, Philosophy Compass, 8(9), pp. 815 - 833, 2013
• official version
Substantive Assumptions in Interaction: A Logical Perspective, Olivier Roy and Eric Pacuit, Synthese, 190(5), pp. 891 - 908, 2013
• official version
Editorial Introduction: Selected Papers from the 2nd Workshop on Logic Rationality and Interaction (LORI-II), Eric Pacuit, Journal of Philosophical Logic, 41(4), pp. 629 - 631, 2012
• official version
• Editorial introduction for a speical issue of the Journal of Philosophical Logic that I editted.
Dynamic Logics of Evidence-Based Beliefs, Johan van Benthem and Eric Pacuit, Studia Logica, 99(61), pp. 61 - 92, 2011
• official version
Reasoning with Protocols under Imperfect Information, Eric Pacuit and Sunil Simon, The Review of Symbolic Logic, 4(3), pp. 412 - 444, 2011
• official version
Toward a Theory of Play: A Logical Perspective on Games and Interaction, Johan van Benthem, Eric Pacuit, and Olivier Roy, Games, 2(1), pp. 52 - 86, 2011
• official version
Dynamic Logics of Knowledge and Access, Tomohiro Hoshi and Eric Pacuit, Synthese, 177(1), pp. 29 - 49, 2010
• official version
Editorial Introduction: Logic and Intelligent Interaction, , Synthese, 169(2), pp. 219 - 221, 2009
• official version
• Introduction for a special issue of Synthese for which I was a co-editor
Merging Frameworks for Interaction, Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, and Eric Pacuit, Journal of Philosophical Logic, 38(5), pp. 491 - 526, 2009
• official version
Neighbourhood Structures: Bisimilarity and Basic Model Theory, Helle Hvid Hansen, Clemens Kupke and Eric Pacuit, Logical Methods in Computer Science, 5(2:2), pp. 1 - 38, 2009
• official version
A General Approach to Aggregation Problems, Tijmen Daniels and Eric Pacuit, Journal of Logic and Computation, 19(3), pp. 517 - 536, 2008
• official version
An Abstract Approach to Reasoning about Games with Mistaken and Changing Beliefs, Benedikt Lowe and Eric Pacuit, The Australasian Journal of Logic, 6, pp. 162 - 181, 2008
• official version
Some Comments on History Based Structures, Eric Pacuit, Journal of Applied Logic, 5(4), pp. 613 - 624, 2007
• official version
Understanding the Brandenburger-Keisler Paradox, Eric Pacuit, Studia Logica, 86(3), pp. 435 - 454, 2007
• official version
First-Order Classical Modal Logic, Horacio Arlo-Costa and Eric Pacuit, Studia Logica, 84(2), pp. 171 - 210, 2006
• official version
• This paper superscedes Horacio Arlo-Costa and Eric Pacuit (2005). First-order classical modal logic: Applications in logics of knowledge and probability, in Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK), pp. 262 - 278.
The Logic of Knowledge Based Obligation, Eric Pacuit, Rohit Parikh and Eva Cogan, Synthese, 149(2), pp. 311 - 341, 2006
• official version

## Encyclopedia Entries

Voting Methods, Eric Pacuit, in The Stanford Encyclopedia of Philosophy, Edward N. Zalta (eds.), 2019
• official version
Epistemic Foundations of Game Theory, Eric Pacuit and Olivier Roy, in The Stanford Encyclopedia of Philosophy, Edward N. Zalta (eds.), 2015
• official version
• new version with substantive revisions expected in Summer 2022

## Conference Proceedings (Peer Reviewed)

Measuring Violations of Positive Involvement in Voting, Wesley H. Holliday and Eric Pacuit, in J. Y. Halpern and A. Perea (Eds.): Theoretical Aspects of Rationality and Knowledge 2021 (TARK 2021), EPTCS 335, 2021, pp. 189 - 209, 2021
• official version
Voting Theory in the Lean Theorem Prover, Wesley H. Holliday, Chase Norman, and Eric Pacuit, Proceedings of Logic, Rationality, and Interaction, 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, pp. 111 - 127, 2021
• official version
Strategic Voting Under Uncertainty About the Voting Method, Wesley H. Holliday and Eric Pacuit, in Proceedings of TARK 2019, EPTCS, pp. 1 - 21 , doi:10.4204/EPTCS, 2019
• official version
Deliberating between Backward and Forward Induction Reasoning: First Steps, Aleks Knoks and Eric Pacuit, in Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK 2015), 2015
• official version
When is an Example a Counterexample?, Eric Pacuit, Arthur Paul Pedersen, and Jan-Willem Romeijn, in Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK 2013), pp. 1 - 10, 2013
• official version
DEL Planning And Some Tractable Cases, Benedikt Lowe, Eric Pacuit, and Andreas Witzel, in Proceedings of Logic, Rationality, And Interaction (Lori-III), pp. 179 - 192, H. van Ditmarsch, J. Lang and Shier Ju (eds.), Springer, 2011
• official version
A Note on Assumption-Completeness in Modal Logic, Jonathan Zvesper and Eric Pacuit, in Proceedings of Logic and the Foundations of Game and Decision Theory (LOFT 8), pp. 190 - 206, 2010
• official version
Joint Revision of Belief and Intention, Thomas Icard, Eric Pacuit, and Yoav Shoham, in Principles of Knowledge Representation and Reasoning: Proceedings of The Twelfth International Conference, pp. 572 - 574, 2010
• official version
Identifying the Structure of a Narrative Via an Agent-Based Logic of Preferences and Beliefs: Formalizations of Episodes from CSI:Crime Scene Investigation, Benedikt Lowe, Eric Pacuit, and Sanchit Saraf, in Proceedings of the Fifth International Workshop on Modeling of Objects, Components and Agents (MOCA'09), pp. 45 - 63, 2009
• official version
Modal Logics of Negotiation and Preference, Ulle Endriss and Eric Pacuit, in Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA-2006), pp. 138 - 150, 2006
• official version
The Tree of Knowledge in Action: Towards a Common Perspective, Johan van Benthem and Eric Pacuit, in Proceedings of Advances in Modal Logic, Volume 6, pp. 87 - 106, 2006
• official version
Preference-Based Belief Dynamics, Eric Pacuit and Olivier Roy, in Proceedings of 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006), pp. 141 - 151, 2006
• official version
A Note on Some Explicit Modal Logics, Eric Pacuit, in Proceedings of the Fifth Panhellenic Logic Symposium, pp. 117 - 125, 2005
• official version
Knowledge-Theoretic Properties of Strategic Voting, Samir Chopra, Eric Pacuit, and Rohit Parikh, in Proceedings of Logics In Artificial Intelligence: 9th Euorpean Conference (JELIA), pp. 18 - 30, 2004
• official version
Majority Logic, Eric Pacuit and Samer Salame, in Proceedings of Knowledge Representation and Reasoning (KR 2004), pp. 598 - 605, 2004
• official version

## Book Chapters

Focusing on Campaigns, Dominik Klein and Eric Pacuit, in Rohit Parikh on Logic, Language and Society, Volume 11 of the series Outstanding Contributions to Logic, pp. 77-89, Springer, 2017
• official version
A Dynamic Analysis of Interactive Rationality, Eric Pacuit and Olivier Roy, in Epistemology, Knowledge and the Impact of Interaction, Volume 38 of the series Logic, Epistemology, and the Unity of Science, pp. 187-206, J. Redmond, O. Pombo Martins, and A. Nepomuceno Fernandez (eds.), Springer, 2016
• official version
Dependence and Independence in Social Choice Theory, Eric Pacuit and Fan Yang, in Dependence Logic, S. Abramsky, J. Kontinen, J. Väänänen and H. Vollmer (eds.), Springer, pp. 235-260, 2016
• official version
Dynamic Models of Rational Deliberation in Games, Eric Pacuit, in Models of Strategic Reasoning, pp. 3 - 33, J. van Benthem, S. Ghosh and R. Verbrugge (eds.), Springer, 2015
• official version
Connecting Logics of Choice and Change, Johan van Benthem and Eric Pacuit, in Nuel Belnap on Indeterminism and Free Action, Outstanding Contributions to Logic, pp. 291 - 314, Springer, 2014
• official version
Procedural Information and the Dynamics of Belief, Eric Pacuit, in Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp. 135 - 154, M. Rebuschi, M. Batt, G. Heinzmann, F. Lihoreau, M. Musiol, and A. Trognon (eds.), Springer, 2014
• official version
Temporal Aspects of the Dynamics of Knowledge, Valentin Goranko and Eric Pacuit, in Johan van Benthem on Logic and Information Dynamics, Outstanding Contributions to Logic, pp. 235 - 266, A. Baltag and S. Smets (eds.), Springer, 2014
• official version
The Wisdom of Crowds: Methods of Human Judgement Aggregation, Aidan Lyon and Eric Pacuit, in Handbook of Human Computation, pp. 599 - 614, P. Michelucci (eds.), Springer, 2013
• official version
Logics of Rational Interaction, Barteld Kooi and Eric Pacuit, in Dynamic Formal Epistemology, pp. 5 - 32, P. Girard, O. Roy, and M. Marion (eds.), Springer, 2011
• official version
Towards a Logical Analysis of Adjusted Winner, Eric Pacuit, in Proof, Computation And Agency, pp. 229 - 239, J. van Benthem, A. Gupta, and R. Parikh (eds.), Springer, 2011
• official version
Reasoning about Communication Graphs, Eric Pacuit and Rohit Parikh, in Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, pp. 135 - 157, J. van Benthem, B. Löwe, and D. Gabbay, Amsterdam University Press, 2006
• official version
Social Interaction, Knowledge, and Social Software, Eric Pacuit and Rohit Parikh, in Interactive Computation: The New Paradigm, pp. 441 - 461, D. Goldin, S. A. Smolka, and P. Wegner (eds.), Springer, 2006
• official version