Talks

Upcoming talks

November 25, 2024 - “From constructive mathematics and quantum mechanics to Fundamental Logic” at the Nordic Online Logic Seminar

January 10, 2025 - TBD at the Special Session on the Mathematics of Decisions, Elections, and Games, Joint Mathematics Meeting 2025, Seattle.

October 23-25, 2025 - TBD at the Sixth Taiwan Philosophical Logic Colloquium (TPLC 2025).

Talks since 2013

November 20, 2024 - “The Social Utility of Voting Revisited” at the MGG Redistricting Lab Seminar (Zoom), Cornell University

October 16-18, 2024 - “From constructive mathematics and quantum mechanics to Fundamental Logic” at the French Philosophy of Mathematics Workshop, Archive Henri Poincaré in Nancy, France.

October 4, 2024 - “From constructive mathematics and quantum mechanics to Fundamental Logic” at the Mathematics, Philosophy, and Physics Seminar, Chapman University.

August 20, 2024 - “Modal logic, fundamentally” at Advances in Modal logic, Prague, The Czech Republic.

June 2, 2024 - “A new impossibility theorem in social choice theory” at the 9th CSLI Workshop on Logic, Rationality, and Intelligent Interaction, Stanford University.

May 17, 2024 - “Modal logic, fundamentally” at the special session on Algebraic Logic, organized by Guram Bezhanishvili and José Gil-Ferez, at the 2024 Association of Symbolic Logic Annual Meeting.

April 5, 2024 - “A Logician Looks at Voting” at the Logic & Cognitive Science Lecture Series, North Carolina State University

March 30/31, 2024 - “Vagueness and the Connectives” at the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Tsinghua University, Beijing

March 29, 2024 - “Modal logic, fundamentally” at Peking University, Beijing

March 29, 2024 - Tutorial on “Algebraic and Relational Semantics for the Connectives” at the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Tsinghua University, Beijing

March 28, 2024 - “Preconditionals” at the Tsinghua Logic Salon, Tsinghua University, Beijing

March 15, 2024 - “The Strong No Show Paradox and its role in characterizing voting rules” at the special session on Voting Paradoxes, Failures, and Mistakes in honor of Iain McLean, organized by Marek Kaminski, at the 2024 Public Choice Society Meeting, Plano, Texas

March 15, 2024 - “Axioms of fairness to candidates and their supporters” at the special session on Voting Methods and Fairness Criteria organized by David McCune at the 2024 Public Choice Society Meeting, Plano, Texas

January 31, 2024 - “Learning to Manipulate under Limited Information” at the Interdisciplinary Workshop on Computational Social Choice, Center for Human-Compatible Artificial Intelligence, UC Berkeley, organized by Zoi Terzopoulou

January 6, 2024 - “An Axiomatic Characterization of Split Cycle” at the special session on The Mathematics of Decisions, Elections, and Games at the Joint Mathematics Meeting, San Francisco, CA

September 26, 2023 - “Choosing Between Populations,” in DevEng 290: Perspectives on Development Engineering at UC Berkeley

September 8, 2023 - “Philosophical and computational perspectives on preference aggregation,” at the Semiautonomous Seminar at UC Berkeley

August 14, 2023 - “An extension of May’s Theorem to three alternatives: axiomatizing Minimax voting” at the special session on Decisions and Fairness at Applied Mathematics, Modeling and Computational Science (AMMCS) 2023, Waterloo, Canada

June 19, 2023 - “A new semantics for conditionals” at Logica 2023

May 27, 2023 - “Adventures in Non-Classical Logic II” at Wuhan University (online)

May 20, 2023 - “Adventures in Non-Classical Logic I” at Wuhan University (online)

May 12, 2023 - “The Orthologic of Epistemic Modals” at the Tsinghua Logic Salon (online)

March 16-18, 2023 - “How to design elections for the inclusion of more candidates and more voters” at the 60th Annual Meeting of the Public Choice Society

December 15, 2022 - “Regularity for relative likelihood” at the mini-conference on Infinity, organized by Paolo Mancosu

December 9, 2022 - “Fundamental logic” at the NYU Philosophy Colloquium

December 7, 2022 - “Nonclassical Probability for Epistemic Modals” at the workshop on Probability and Meaning, UC Berkeley

December 2, 2022 - “Partial-state space models of unawareness” at the Zoom mini-workshop on epistemic logic with unawareness, organized by Burkhard C. Schipper, Department of Economics, UC Davis

October 21, 2022 - “Subsystems of classical logic and their semantics based on graphs” at the UC Berkeley Logic Colloquium

October 4, 2022 - “Subsystems of classical logic and their semantics based on graphs” at the University of Pennsylvania Logic Seminar (online)

September 27, 2022 - “Subsystems of classical logic and their semantics based on graphs” at the Colloquium Logicum (CL 2020), University of Konstanz, Germany

August 22-25, 2022 - “Non-classical modal logic for natural language,” Keynote Lecture at Advances in Modal Logic 2022, Rennes, France

April 8, 2022 - “An approach to generalizing some impossibility theorems in social choice” at the special session on The Mathematics of Decisions, Elections, and Games at the Joint Mathematics Meeting, Seattle, WA

February 3, 2022 - “The Orthologic of Epistemic Modals,” with Matthew Mandelkern (NYU), Logic and Rational Interaction (LIRa) Seminar, University of Amsterdam

December 7, 2021 - “Stable Voting,” Online Social Choice Seminar, https://sites.google.com/view/2021onlinescwseminars

October 29, 2021 - “Splitting Cycles, Breaking Ties” at UC Irvine, Logic and Philosophy of Science Colloquium (Zoom)

October 16-18, 2021 - “Logical Perspectives on Voting” at LORI-VIII, Xi’an, China

October 8, 2021 - “Splitting Cycles, Breaking Ties” at Carnegie Mellon University, Philosophy Colloquium (Zoom)

June 15, 2021 - “Recent Work on Higher-Order Epistemic Reasoning,” LOGOS online workshop on issues in epistemology and epistemic logic, University of Barcelona

June 12, 2021 - “Toward choice-free Esakia duality,” BLAST 2021, University of New Mexico (Zoom)

June 7, 2021 - “Adventures Beyond Possible Worlds” at Logical Perspectives 2021, Steklov Mathematical Institute, Moscow (Zoom)

May 20, 2021 - “Logics of Imprecise, Comparative, and Regular Probability” in the Milano Logic Group Seminar (Zoom), University of Milan

March 15, 2021 - “Logics of Imprecise Comparative Probability” in the Logic Online Seminar of the Steklov Mathematical Institute, Moscow.

February 2, 2021 - “The Split Cycle Voting Method” in the Online Social Choice Seminar (Zoom).

October 30, 2020 - “Possibilities for Provability” at the Logic Webinar, Department of Mathematics and Statistics, IIT Kanpur

June 26, 2020 - “From choice-free Stone duality to choice-free model theory?” at the Algebra|Coalgebra Seminar (Zoom), ILLC, University of Amsterdam

June 4, 2020 - “Possibility Semantics” at the Munich Center for Mathematical Philosophy (Zoom)

May 28, 2020 - “Extensions of choice-free Stone duality” at the Logic Colloquium (Zoom), Department of Mathematics, Southern Illinois University

March 7-8, 2020 - “Escaping Arrow’s Theorem” at the TEAM Conference, Princeton University

January 17-18, 2020 - “Axiomatizing Reasoning about Sets: Cardinality, Mereology, and Decisiveness,” at the ASL Winter Meeting (with Joint Mathematics Meetings), Denver

December 6, 2019 - “Possibility Semantics” at the Philosophy Colloquium, University of Maryland, College Park

November 20, 2019 - “Split Cycle: A New Method of Voting” at the Logic Seminar, Stanford University

October 15, 2019 - “Axiomatizing Reasoning about Sets: Cardinality, Mereology, and Decisiveness,” at the Logic Colloquium, Peking University, China

October 12, 2019 - “Possibility Semantics” at the International Conference on Modality, Logic and Philosophy, Peking University, China

June 19, 2019 - “Possibility Semantics,” plenary talk at Topology, Algebra, and Categories in Logic (TACL) 2019, Nice, France

January 25, 2019 - “Inquisitive Intuitionistic Logic: An Application of Nuclear Semantics,” invited talk at SYSMICS 2019, University of Amsterdam

October 19, 2018 - “Another Problem in Possible World Semantics” at the UC San Diego Philosophy Colloquium

August 6-10, 2018 - “Choice-free Stone duality,” plentary talk at BLAST 2018, University of Denver

July 25, 2018 - “A Semantic Hierarchy for Intuitionistic Logic with Connections to Inquisitive Logic” at the Workshop on Inquisitive Logic, University of Amsterdam

July 5, 2018 - “A Semantic Hierarchy for Intuitionistic Logic’’ at the International Workshop on Topological Methods in Logic VI, Ilia State University, Georgia

July 3, 2018 - “Choice-free Stone duality’’ at the International Workshop on Topological Methods in Logic VI, Ilia State University, Georgia

June 13-14, 2018 - “From Worlds to Possibilities…and Back?” at the Workshop on Philosophical Applications of Modal Logic, University of Oslo

April 21-22, 2018 - “Possibility Semantics: A User’s Guide” at the TEAM Conference, Princeton University

February 21-24, 2018 - “Possibility Semantics” at the Symposium on Truthmaker Semantics, Central APA

July 28, 2017 - “Possibilities for Modal Logic,” Workshop on Modality and Truthmaking, Augsburg, Germany

June 4, 2017 - “A Semantic Hierarchy for Intuitionistic Logic,” 6th CSLI Workshop on Logic, Rationality, and Intelligent Interaction, Stanford University

October 14, 2016 - “A Semantic Hierarchy for Intuitionistic Logic,” UC Irvine Logic and Philosophy of Science Colloquium

May 24, 2016 - “Complete Additivity and Modal Incompleteness,” Stanford University Logic Seminar

May 20, 2016 - “An Introduction to Possibility Semantics,” UC Davis LLEMMMa Group

Nov. 12, 2015 - “Duality Theory for Possibility Frames and Boolean Algebras with Operators,” New Mexico State University

May 30, 2015 - “Possibilities for Modal Logic,” 4th CSLI Workshop on Logic, Rationality, and Intelligent Interaction, Stanford University

April 6, 2015 - “Beyond Worlds,” UT Austin Philosophy Colloquium

April 7, 2015 - “On Possibility Semantics for Modal Logic,” Hans Kamp Seminar in Logic and Language, UT Austin

September 27, 2014 - “From Beth to van Benthem: Possibilities for Intuitionistic, Classical, and Modal Logic,” Workshop on the Future of Logic, Celebration Event in Honour of Johan van Benthem, University of Amsterdam

August 8, 2014 - “Partiality and Adjointness in Modal Logic,” Advances in Modal Logic 2014, University of Groningen

June 19, 2014 - “Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic,” LogiCIC mini-workshop on The Dynamics of Information States, ILLC, Amsterdam

May 20, 2014 - “Knowledge, Fallibility, and Probability,” Keynote at the Eleventh London-Berkeley Graduate Conference, Institute of Philosophy, University of London

April 18, 2014 - “The Multipath Picture of Knowledge,” Invited Symposium on Epistemic Logic and Formal Epistemology, 2014 Pacific APA, San Diego

April 12, 2014 - “Partiality and Adjointness in Modal Logic,” Modal Logic Workshop: Consistency and Structure, Center for Formal Epistemology, Carnegie Mellon University

October 14-16, 2013 - “Epistemic Closure and Epistemic Logic,” Logic Across the University: Foundations and Applications, Tsinghua University, Beijing, China

June 13, 2013 - “Logic, Probability, and Epistemic Modality” with Thomas Icard, Nuance Communications, Nuance Silicon Valley NLU Discussion Group (NuSVN)

June 2, 2013 - “Roles, Rigidity, and Quantification in Epistemic Logic” with John Perry, Second CSLI Workshop on Logic, Rationality, and Interaction, CSLI, Stanford University

May 3, 2013 - “Measure Semantics and Qualitative Semantics for Epistemic Modals” with Thomas Icard, 23rd Semantics and Linguistics Theory (SALT) Conference, UC Santa Cruz (abstract)

April 12, 2013 - “Measure Semantics and Qualitative Semantics for Epistemic Modals” with Thomas Icard, Perspectives on Modality, CSLI, Stanford University

March 28, 2013 - Comments on “Analyticity and Ontology” by Louis deRosset, Pacific APA, Colloquium: Ontology I

March 5, 2013 - “Logic, Probability, and Epistemic Modality,” Mathematical Logic Seminar, Stanford University

March 1, 2013 - “Recent Work in Epistemic Logic,” Logic Colloquium, UC Berkeley.

February 22, 2013 - “Mathematizing Mainstream Epistemology,” Logic and Philosophy of Science Colloquium, UC Irvine

February 7, 2013 - “Mathematizing Mainstream Epistemology,” Philosophy Colloquium, Carnegie Mellon University

For previous talks, please see my CV.

Updated on 2024-11-23 12:48:47 -0800 by Wesley H. Holliday