Edit Profile (opens in new tab) Holliday, Wesley H. Co-Author Distance Author ID: holliday.wesley-h Published as: Holliday, Wesley H. External Links: MGP Documents Indexed: 39 Publications since 2009, including 3 Additional arXiv Preprints 2 Contributions as Editor Co-Authors: 11 Co-Authors with 20 Joint Publications 228 Co-Co-Authors all top 5 Co-Authors 16 single-authored 9 Icard, Thomas F. III 4 Ding, Yifeng 4 Harrison-Trainor, Matthew 3 Bezhanishvili, Nick 3 Hoshi, Tomohiro 3 Pacuit, Eric 2 Bezhanishvili, Guram 2 Litak, Tadeusz 1 Bezhanishvilli, Guram 1 Esakia, Leo 1 Grilletti, Gianluca 1 Kelley, Mikayla 1 Norman, Chase 1 Perry, John 1 van Benthem, Johan F. A. K. 1 Zhang, Cedegao all top 5 Serials 2 The Journal of Symbolic Logic 2 Social Choice and Welfare 1 Algebra Universalis 1 Journal of Philosophical Logic 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Synthese 1 Theory and Decision 1 Mathematical Social Sciences 1 International Journal of Approximate Reasoning 1 Journal of Logic and Computation 1 Indagationes Mathematicae. New Series 1 The Bulletin of Symbolic Logic 1 Trends in Logic – Studia Logica Library 1 The Review of Symbolic Logic all top 5 Fields 34 Mathematical logic and foundations (03-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 6 Computer science (68-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 32 Publications have been cited 93 times in 73 Documents Cited by ▼ Year ▼ Moorean phenomena in epistemic logic. Zbl 1254.03024 Holliday, Wesley H.; Icard, Thomas F. III 24 2010 Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. Zbl 1436.06001 Esakia, Leo 24 2019 A semantic hierarchy for intuitionistic logic. Zbl 07049867 Bezhanishvili, Guram; Holliday, Wesley H. 10 2019 Choice-free Stone duality. Zbl 1444.03172 Bezhanishvili, Nick; Holliday, Wesley H. 9 2020 A bimodal perspective on possibility semantics. Zbl 1444.03077 van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H. 8 2017 Partiality and adjointness in modal logic. Zbl 1385.03019 Holliday, Wesley H. 8 2014 Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism. Zbl 1318.03028 Holliday, Wesley H. 8 2015 Roles, rigidity, and quantification in epistemic logic. Zbl 1354.03016 Holliday, Wesley H.; Perry, John 8 2014 A uniform logic of information dynamics. Zbl 1291.03025 Holliday, Wesley H.; Hoshi, Tomohiro; Icard, Thomas F. III 8 2012 Algebraic and topological semantics for inquisitive logic via choice-free duality. Zbl 07176917 Bezhanishvili, Nick; Grilletti, Gianluca; Holliday, Wesley H. 7 2019 Locales, nuclei, and Dragalin frames. Zbl 1400.03024 Bezhanishvilli, Guram; Holliday, Wesley H. 6 2016 Schematic validity in dynamic epistemic logic: decidability. Zbl 1298.03052 Holliday, Wesley H.; Hoshi, Tomohiro; Icard, Thomas F. III 5 2011 Information dynamics and uniform substitution. Zbl 1310.03027 Holliday, Wesley H.; Hoshi, Tomohiro; Icard, Thomas F. III 5 2013 On the modal logic of subset and superset: tense logic over Medvedev frames. Zbl 1417.03152 Holliday, Wesley H. 5 2017 Complete additivity and modal incompleteness. Zbl 07124571 Holliday, Wesley H.; Litak, Tadeusz 5 2019 Inferring probability comparisons. Zbl 1396.91083 Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 4 2018 One modal logic to rule them all? Zbl 1418.03087 Holliday, Wesley H.; Litak, Tadeusz 4 2018 Dynamic testimonial logic. Zbl 1196.03020 Holliday, Wesley H. 3 2009 Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism. A summary. Zbl 1320.03044 Holliday, Wesley H. 3 2013 Strategic voting under uncertainty about the voting method. Zbl 07450033 Holliday, Wesley H.; Pacuit, Eric 3 2019 Knowledge, time, and paradox: introducing sequential epistemic logic. Zbl 1437.03067 Holliday, Wesley H. 3 2018 Epistemic logic, relevant alternatives, and the dynamics of context. Zbl 1372.03031 Holliday, Wesley H. 3 2012 The logic of comparative cardinality. Zbl 1485.03064 Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H. 3 2020 Inquisitive intuitionistic logic. Zbl 07585721 Holliday, Wesley H. 3 2020 Arrow’s decisive coalitions. Zbl 1437.91185 Holliday, Wesley H.; Pacuit, Eric 3 2020 A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. Zbl 07096540 Holliday, Wesley H. 3 2019 A note on cancellation axioms for comparative probability. Zbl 1378.91066 Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 2 2016 Indicative conditionals and dynamic epistemic logic. Zbl 1484.03026 Holliday, Wesley H.; Icard, Thomas F. III 2 2017 A note on Murakami’s theorems and incomplete social choice without the Pareto principle. Zbl 1451.91056 Holliday, Wesley H.; Kelley, Mikayla 1 2020 Three roads to complete lattices: orders, compatibility, polarity. Zbl 1486.06004 Holliday, Wesley H. 1 2021 Another problem in possible world semantics. Zbl 07585712 Ding, Yifeng; Holliday, Wesley H. 1 2020 Possibility semantics. Zbl 07669413 Holliday, Wesley H. 1 2021 Three roads to complete lattices: orders, compatibility, polarity. Zbl 1486.06004 Holliday, Wesley H. 1 2021 Possibility semantics. Zbl 07669413 Holliday, Wesley H. 1 2021 Choice-free Stone duality. Zbl 1444.03172 Bezhanishvili, Nick; Holliday, Wesley H. 9 2020 The logic of comparative cardinality. Zbl 1485.03064 Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H. 3 2020 Inquisitive intuitionistic logic. Zbl 07585721 Holliday, Wesley H. 3 2020 Arrow’s decisive coalitions. Zbl 1437.91185 Holliday, Wesley H.; Pacuit, Eric 3 2020 A note on Murakami’s theorems and incomplete social choice without the Pareto principle. Zbl 1451.91056 Holliday, Wesley H.; Kelley, Mikayla 1 2020 Another problem in possible world semantics. Zbl 07585712 Ding, Yifeng; Holliday, Wesley H. 1 2020 Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. Zbl 1436.06001 Esakia, Leo 24 2019 A semantic hierarchy for intuitionistic logic. Zbl 07049867 Bezhanishvili, Guram; Holliday, Wesley H. 10 2019 Algebraic and topological semantics for inquisitive logic via choice-free duality. Zbl 07176917 Bezhanishvili, Nick; Grilletti, Gianluca; Holliday, Wesley H. 7 2019 Complete additivity and modal incompleteness. Zbl 07124571 Holliday, Wesley H.; Litak, Tadeusz 5 2019 Strategic voting under uncertainty about the voting method. Zbl 07450033 Holliday, Wesley H.; Pacuit, Eric 3 2019 A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. Zbl 07096540 Holliday, Wesley H. 3 2019 Inferring probability comparisons. Zbl 1396.91083 Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 4 2018 One modal logic to rule them all? Zbl 1418.03087 Holliday, Wesley H.; Litak, Tadeusz 4 2018 Knowledge, time, and paradox: introducing sequential epistemic logic. Zbl 1437.03067 Holliday, Wesley H. 3 2018 A bimodal perspective on possibility semantics. Zbl 1444.03077 van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H. 8 2017 On the modal logic of subset and superset: tense logic over Medvedev frames. Zbl 1417.03152 Holliday, Wesley H. 5 2017 Indicative conditionals and dynamic epistemic logic. Zbl 1484.03026 Holliday, Wesley H.; Icard, Thomas F. III 2 2017 Locales, nuclei, and Dragalin frames. Zbl 1400.03024 Bezhanishvilli, Guram; Holliday, Wesley H. 6 2016 A note on cancellation axioms for comparative probability. Zbl 1378.91066 Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 2 2016 Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism. Zbl 1318.03028 Holliday, Wesley H. 8 2015 Partiality and adjointness in modal logic. Zbl 1385.03019 Holliday, Wesley H. 8 2014 Roles, rigidity, and quantification in epistemic logic. Zbl 1354.03016 Holliday, Wesley H.; Perry, John 8 2014 Information dynamics and uniform substitution. Zbl 1310.03027 Holliday, Wesley H.; Hoshi, Tomohiro; Icard, Thomas F. III 5 2013 Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism. A summary. Zbl 1320.03044 Holliday, Wesley H. 3 2013 A uniform logic of information dynamics. Zbl 1291.03025 Holliday, Wesley H.; Hoshi, Tomohiro; Icard, Thomas F. III 8 2012 Epistemic logic, relevant alternatives, and the dynamics of context. Zbl 1372.03031 Holliday, Wesley H. 3 2012 Schematic validity in dynamic epistemic logic: decidability. Zbl 1298.03052 Holliday, Wesley H.; Hoshi, Tomohiro; Icard, Thomas F. III 5 2011 Moorean phenomena in epistemic logic. Zbl 1254.03024 Holliday, Wesley H.; Icard, Thomas F. III 24 2010 Dynamic testimonial logic. Zbl 1196.03020 Holliday, Wesley H. 3 2009 all cited Publications top 5 cited Publications all top 5 Cited by 78 Authors 8 Holliday, Wesley H. 7 Icard, Thomas F. III 7 van Benthem, Johan F. A. K. 5 Wang, Yanjing 4 Quadrellaro, Davide Emilio 4 Velázquez-Quesada, Fernando Raymundo 3 Bezhanishvili, Nick 3 Fan, Jie 3 Grilletti, Gianluca 3 Harrison-Trainor, Matthew 3 van Ditmarsch, Hans Pieter 2 Ågotnes, Thomas 2 Andréka, Hajnal 2 Bezhanishvili, Guram 2 Ding, Yifeng 2 Fusco, Melissa 2 Hoshi, Tomohiro 2 Kocurek, Alexander W. 2 Litak, Tadeusz 2 Németi, István 2 Pacuit, Eric 2 Punčochář, Vít 2 Westerståhl, Dag 1 Alama, Jesse 1 Alechina, Natasha 1 Beddor, Bob 1 Berto, Francesco 1 Bonnay, Denis 1 Cao, Qinxiang 1 Carai, Luca 1 Castañeda, Armando 1 Conradie, Willem 1 De Groot, Jim 1 Dmitrieva, Anna 1 Fervari, Raul 1 Fleurbaey, Marc 1 Galimullin, Rustam 1 Goldstein, Simon 1 Goswami, Amartya 1 Grossi, Davide 1 Gyenis, Zalán 1 Haney, Ryuichi Sebastian 1 Hartonas, Chrysafis 1 Hawke, Peter 1 Humberstone, Lloyd 1 Kelley, Mikayla 1 Knoks, Aleks 1 Kooi, Barteld Pieter 1 Leitgeb, Hannes 1 Mandelkern, Matthew 1 Marushak, Adam 1 Maruyama, Yoshihiro 1 Massas, Guillaume 1 McDonald, Joseph 1 Minică, Ştefan 1 Morandi, Patrick J. 1 Moraschini, Tommaso 1 Moss, Lawrence S. 1 Norman, Chase 1 Özgün, Aybüke 1 Palmigiano, Alessandra 1 Polzer, Miriam 1 Rabenstein, Ulrich 1 Rosenblueth, David A. 1 Salles, Maurice 1 Sano, Katsuhiko 1 Shi, Chenwei 1 Soler-Toscano, Fernando 1 Steinert-Threlkeld, Shane 1 Suarez, Anna Laura 1 Tanaka, Yoshihito 1 Uckelman, Sara Liana 1 Uzquiano, Gabriel 1 van der Hoek, Wiebe 1 Velázquez, Diego A. 1 Yamada, Tomoyuki 1 Yamamoto, Kentaro 1 Zhao, Zhiguang all top 5 Cited in 16 Serials 11 Journal of Philosophical Logic 8 Synthese 8 The Review of Symbolic Logic 5 Algebra Universalis 5 Studia Logica 4 Annals of Pure and Applied Logic 4 Journal of Logic, Language and Information 2 Journal of Pure and Applied Algebra 2 Mathematical Social Sciences 1 Social Choice and Welfare 1 Order 1 International Journal of Approximate Reasoning 1 Indagationes Mathematicae. New Series 1 The Bulletin of Symbolic Logic 1 Applied General Topology 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 12 Fields 63 Mathematical logic and foundations (03-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 8 Computer science (68-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Category theory; homological algebra (18-XX) 2 General algebraic systems (08-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 General topology (54-XX) 1 Quantum theory (81-XX) Citations by Year