default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWesley H. Holliday
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Wesley H. Holliday
, Matthew Mandelkern:
The Orthologic of Epistemic Modals. J. Philos. Log. 53(4): 831-907 (2024)- [c23]Wesley H. Holliday:
Modal Logic, Fundamentally. AiML 2024: 423-446 - [c22]Wesley H. Holliday, Matthew Mandelkern, Cedegao Zhang:
Conditional and Modal Reasoning in Large Language Models. EMNLP 2024: 3800-3821 - [c21]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:
Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback. ICML 2024 - [i19]Wesley H. Holliday:
The defensible set and a new impossibility theorem in voting. CoRR abs/2401.05657 (2024) - [i18]Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit:
Learning to Manipulate under Limited Information. CoRR abs/2401.16412 (2024) - [i17]Wesley H. Holliday, Matthew Mandelkern:
Conditional and Modal Reasoning in Large Language Models. CoRR abs/2401.17169 (2024) - [i16]Wesley H. Holliday:
Modal logic, fundamentally. CoRR abs/2403.14043 (2024) - [i15]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:
Social Choice for AI Alignment: Dealing with Diverse Human Feedback. CoRR abs/2404.10271 (2024) - [i14]Wesley H. Holliday:
Possibility Semantics. CoRR abs/2405.06852 (2024) - 2023
- [i13]Wesley H. Holliday, Eric Pacuit:
An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. CoRR abs/2312.14256 (2023) - 2022
- [c20]Wesley H. Holliday:
Non-classical modal logic for natural language. AiML 2022: 7-8 - [c19]Wesley H. Holliday:
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. AiML 2022: 507-529 - [i12]Wesley H. Holliday:
Compatibility and accessibility: lattice representation for semantics of non-classical and modal logics. CoRR abs/2201.07098 (2022) - [i11]Wesley H. Holliday, Matthew Mandelkern:
The Orthologic of Epistemic Modals. CoRR abs/2203.02872 (2022) - [i10]Wesley H. Holliday:
A fundamental non-classical logic. CoRR abs/2207.06993 (2022) - [i9]Wesley H. Holliday, Eric Pacuit, Saam Zahedian:
An approach to generalizing some impossibility theorems in social choice. CoRR abs/2208.06907 (2022) - [i8]Yifeng Ding, Wesley H. Holliday, Eric Pacuit:
An Axiomatic Characterization of Split Cycle. CoRR abs/2210.12503 (2022) - 2021
- [j15]Yifeng Ding, Wesley H. Holliday, Thomas F. Icard III:
Logics of imprecise comparative probability. Int. J. Approx. Reason. 132: 154-180 (2021) - [c18]Cedegao Zhang, Ham Huang, Wesley H. Holliday:
Does Amy Know Ben Knows You Know Your Cards? A Computational Model of Higher-Order Epistemic Reasoning. CogSci 2021 - [c17]Wesley H. Holliday, Chase Norman, Eric Pacuit:
Voting Theory in the Lean Theorem Prover. LORI 2021: 111-127 - [c16]Wesley H. Holliday, Eric Pacuit:
Measuring Violations of Positive Involvement in Voting. TARK 2021: 189-209 - [i7]Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III:
Preferential Structures for Comparative Probabilistic Reasoning. CoRR abs/2104.02287 (2021) - [i6]Wesley H. Holliday, Eric Pacuit:
Stable Voting. CoRR abs/2108.00542 (2021) - [i5]Wesley H. Holliday, Mikayla Kelley:
Escaping Arrow's Theorem: The Advantage-Standard Model. CoRR abs/2108.01134 (2021) - [i4]Wesley H. Holliday, Chase Norman, Eric Pacuit:
Voting Theory in the Lean Theorem Prover. CoRR abs/2110.08453 (2021) - 2020
- [j14]Nick Bezhanishvili, Wesley H. Holliday:
Choice-Free Stone duality. J. Symb. Log. 85(1): 109-148 (2020) - [j13]Yifeng Ding, Matthew Harrison-Trainor, Wesley H. Holliday:
The Logic of Comparative Cardinality. J. Symb. Log. 85(3): 972-1005 (2020) - [j12]Wesley H. Holliday, Eric Pacuit:
Arrow's decisive coalitions. Soc. Choice Welf. 54(2-3): 463-505 (2020) - [j11]Wesley H. Holliday, Mikayla Kelley:
A note on Murakami's theorems and incomplete social choice without the Pareto principle. Soc. Choice Welf. 55(2): 243-253 (2020) - [c15]Yifeng Ding, Wesley H. Holliday:
Another Problem in Possible World Semantics. AiML 2020: 149-168 - [c14]Wesley H. Holliday:
Inquisitive Intuitionistic Logic. AiML 2020: 329-348 - [i3]Wesley H. Holliday, Eric Pacuit:
Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers. CoRR abs/2004.02350 (2020) - [i2]Wesley H. Holliday, Eric Pacuit:
Axioms for Defeat in Democratic Elections. CoRR abs/2008.08451 (2020)
2010 – 2019
- 2019
- [j10]Wesley H. Holliday:
A Note on Algebraic Semantics for S5 with Propositional Quantifiers. Notre Dame J. Formal Log. 60(2): 311-332 (2019) - [j9]Wesley H. Holliday, Tadeusz Litak:
Complete additivity and Modal Incompleteness. Rev. Symb. Log. 12(3): 487-535 (2019) - [c13]Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday:
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC 2019: 35-52 - [c12]Yifeng Ding, Wesley H. Holliday, Cedegao Zhang:
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? TARK 2019: 121-139 - [c11]Wesley H. Holliday, Eric Pacuit:
Strategic Voting Under Uncertainty About the Voting Method. TARK 2019: 252-272 - 2018
- [j8]Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. J. Log. Comput. 28(2): 265-267 (2018) - [j7]Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III:
Inferring probability comparisons. Math. Soc. Sci. 91: 62-70 (2018) - [j6]Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Logic, rationality and interaction (LORI-5): introduction to the special issue. Synth. 195(10): 4201-4204 (2018) - [c10]Wesley H. Holliday, Tadeusz Litak:
One Modal Logic to Rule Them All?. Advances in Modal Logic 2018: 367-386 - [i1]Wesley H. Holliday, Tadeusz Litak:
Complete Additivity and Modal Incompleteness. CoRR abs/1809.07542 (2018) - 2017
- [j5]Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday:
A bimodal perspective on possibility semantics. J. Log. Comput. 27(5): 1353-1389 (2017) - [j4]Wesley H. Holliday:
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames. Stud Logica 105(1): 13-35 (2017) - [c9]Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III:
Preferential Structures for Comparative Probabilistic Reasoning. AAAI 2017: 1135-1141 - [c8]Wesley H. Holliday, Thomas F. Icard III:
Indicative Conditionals and Dynamic Epistemic Logic. TARK 2017: 337-351 - 2016
- [c7]Guram Bezhanishvili, Wesley H. Holliday:
Locales, Nuclei, and Dragalin Frames. Advances in Modal Logic 2016: 177-196 - 2015
- [j3]Wesley H. Holliday:
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. J. Philos. Log. 44(1): 1-62 (2015) - [j2]Wesley H. Holliday:
Erratum to: Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. J. Philos. Log. 44(1): 63 (2015) - [e1]Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings. Lecture Notes in Computer Science 9394, Springer 2015, ISBN 978-3-662-48560-6 [contents] - 2014
- [c6]Wesley H. Holliday:
Partiality and Adjointness in Modal Logic. Advances in Modal Logic 2014: 313-332 - [p1]Wesley H. Holliday, John Perry:
Roles, Rigidity, and Quantification in Epistemic Logic. Johan van Benthem on Logic and Information Dynamics 2014: 591-629 - 2013
- [j1]Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III:
Information dynamics and uniform substitution. Synth. 190(Supplement-1): 31-55 (2013) - 2012
- [c5]Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III:
A Uniform Logic of Information Dynamics. Advances in Modal Logic 2012: 348-367 - 2011
- [c4]Wesley H. Holliday:
Epistemic Logic, Relevant Alternatives, and the Dynamics of Context. ESSLLI Student Sessions 2011: 109-129 - [c3]Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III:
Schematic Validity in Dynamic Epistemic Logic: Decidability. LORI 2011: 87-96 - 2010
- [c2]Wesley H. Holliday, Thomas F. Icard III:
Moorean Phenomena in Epistemic Logic. Advances in Modal Logic 2010: 178-199
2000 – 2009
- 2009
- [c1]Wesley H. Holliday:
Dynamic Testimonial Logic. LORI 2009: 161-179
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 20:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
