Neighborhood semantics for modal logic

von Pacuit, Eric
Veröffentlicht 2017

Neighborhood semantics for modal logic

von Pacuit, Eric
Veröffentlicht 2017

Arrow's decisive coalitions

von Holliday, Wesley H.
Veröffentlicht in Social choice and welfare (2020)

Voting Theory in the Lean Theorem Prover

von Norman, Wesley H. Holliday. Chase
Veröffentlicht in LORI (8. : 2021 : Online) Logic, Rationality, and Interaction (2021)

At the intersection of language, logic, and information : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018 : selected papers

Veröffentlicht 2019

Logic, rationality, and interaction : second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 ; proceedings

Veröffentlicht 2009

Foundations of the formal sciences VI : probabilistic reasoning and reasoning with probabilities

Veröffentlicht 2009

Ways of worlds : on possible worlds and related notions

Veröffentlicht 2006