Publications, Presentations, and Working Papers

Logic
 
Game Theory
 
Social Choice Theory
2024
 
2023
 
2022
 
2021
 
2020
 
2019
 
2017
 
2016
 
2015
 
2014
 
2013
 
2012
 
2011
 
2010
 
2009
 
2008
 
2007
 
2006
 
2005
 
2004
 

Working Papers

An extension of May's Theorem to three alternatives: axiomatizing Minimax voting, Wesley H. Holliday, and Eric Pacuit, , under submission, 2024
  • preprint
Learning to Manipulate under Limited Information, Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit, , presented at Workshop on Social Choice and Learning Algorithms 2024 and New Directions in Social Choice 2024, 2024
  • preprint
Advocacy Games, Steven Kuhn and Eric Pacuit, in preparation, 2024
    Epistemic Game Theory, Paolo Galeazzi, Eric Pacuit, and Olivier Roy, short book in preparation, 2023

      Journal Articles

      An Axiomatic Characterization of Split Cycle, Yifeng Ding, Wesley H. Holliday, and Eric Pacuit, , Social Choice and Welfare, 2024, 2024
      • official version
      Stable Voting, Wesley H. Holliday and Eric Pacuit, Constitutional Political Economy, 2023
      • official version
      Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers, Wesley H. Holliday and Eric Pacuit, Public Choice, 2023
      • official version
      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 II: Logics of Information Change, Eric Pacuit, Philosophy Compass, 8(9), pp. 815 - 833, 2013
      • official version
      Dynamic Epistemic Logic I: Modeling Knowledge and Belief, Eric Pacuit, Philosophy Compass, 8(9), pp. 798 - 814, 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 special issue of the Journal of Philosophical Logic that I edited.
      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, Thomas Agotnes, Johan van Benthem, and Eric Pacuit, 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 (editor), 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)

      Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback, Vincent Conitzer, Rachel Freedman, Jobst Heitzig, Wesley H. Holliday, Bob M. Jacobs, Nathan Lambert, Milan Mossé, Eric Pacuit, Stuart Russell, Hailey Schoelkopf, Emanuel Tewolde, William S. Zwicker, , presented at ICML 2024 and Social Choice and Welfare Conference 2024, 2024
      • preprint
      Epistemic Pseudo-Agreement and Hyper-Domain Semantics for Epistemic Modals, Yichi (Raven) Zhang and Eric Pacuit, Proceedings of the 23rd Amsterdam Colloquium, 2022, 2022
      • official version
      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
      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
      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
      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

      Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting, Wesley H. Holliday, Chase Norman, Eric Pacuit, and Saam Zahedian, In Michael A. Jones, David McCune, and Jennifer Wilson, editors, Mathematical Analyses of Decisions, Voting, and Games, Contemporary Mathematics. American Mathematical Society, Forthcoming., 2024
      • official version
      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
      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
      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