Zobrazeno 1 - 10
of 160
pro vyhledávání: '"H. Holliday"'
Autor:
Wesley H. Holliday, Eric Pacuit
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 297, Iss Proc. TARK 2019, Pp 252-272 (2019)
Much of the theoretical work on strategic voting makes strong assumptions about what voters know about the voting situation. A strategizing voter is typically assumed to know how other voters will vote and to know the rules of the voting method. A gr
Externí odkaz:
https://doaj.org/article/5cc2e34d8bc348b1bac74e65520dcb65
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 297, Iss Proc. TARK 2019, Pp 121-139 (2019)
The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms" such as the 4 and 5 axioms. By contrast, the later literature on epis
Externí odkaz:
https://doaj.org/article/679ea84462ef46c3bde8ca5f23a0ee55
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 337-351 (2017)
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics
Externí odkaz:
https://doaj.org/article/fdcb698072e6440cbb27f7d49c7e0dab
Autor:
Wesley H. Holliday, Eric Pacuit
Publikováno v:
Constitutional Political Economy.
We propose a new single-winner voting system using ranked ballots: Stable Voting. The motivating principle of Stable Voting is that if a candidate A would win without another candidate B in the election, and A beats B in a head-to-head majority compa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::958c989604fbc1db74dcf520d0aa9a57
https://doi.org/10.1007/s10602-022-09383-9
https://doi.org/10.1007/s10602-022-09383-9
Publikováno v:
International Journal of Approximate Reasoning. 132:154-180
This paper studies connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability and comparative probability. The goal is to identify complete logics for reasoning ab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11c0aad1776a0828c8629b49b605f336
https://doi.org/10.1016/j.ijar.2021.02.004
https://doi.org/10.1016/j.ijar.2021.02.004
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
The Journal of Symbolic Logic. 85:972-1005
This paper investigates the principles that one must add to Boolean algebra to capture reasoning not only about intersection, union, and complementation of sets, but also about the relative size of sets. We completely axiomatize such reasoning under
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d17e6d3e8dc93cc3e94e8f1d03514245
https://doi.org/10.1017/jsl.2019.67
https://doi.org/10.1017/jsl.2019.67
Autor:
Wesley H. Holliday
Publikováno v:
Logics; Volume 1; Issue 1; Pages: 36-79
We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::890d2ed2298938d21d406ef28bbee6ce
Autor:
Wesley H. Holliday, Nick Bezhanishvili
Publikováno v:
Journal of Symbolic Logic, 85(1), 109-148. Cambridge University Press
The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this paper, we describe a choice-free topological represe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6bc49cf4b36084841240a121f0e22cc3
https://doi.org/10.1017/jsl.2019.11
https://doi.org/10.1017/jsl.2019.11
Publikováno v:
Indagationes Mathematicae. 30:403-469
Brouwer’s views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dcf4053615f3ba46b1d43614627664d5
https://doi.org/10.1016/j.indag.2019.01.001
https://doi.org/10.1016/j.indag.2019.01.001