In spite of its significance for everyday and philosophical discourse, the explanatory connective ‘because’ has not received much treatment in the philosophy of logic. The present paper develops a logic for ‘because’ based on systematic connections between ‘because’ and the truthfunctional connectives.

The success of applying model-checking to large systems depends crucially on the choice of good abstractions. In this work we present an approach for constructing abstractions when checking Nextfree universal CTL properties. It is known that functional abstractions are safe and that Next-free universal CTL is insensitive to finite stuttering. We exploit these results by introducing a safe Next-...

This article offers a dynamic model of opaque over-the-counter markets. A seller searches for an attractive price by visiting multiple buyers, one at a time. The buyers do not observe contacts, quotes, or trades elsewhere in the market. A repeat contact with a buyer reveals the seller’s reduced outside options and worsens the price offered by the revisited buyer. When the asset value is uncerta...

Construal Level Theory (CLT; Trope & Liberman, 2003) proposes that pro-arguments (pros) constitute high-level construals and counter-arguments (cons) low-level construals. Therefore, pros are more salient for distant-future actions than are cons and the reverse holds for near-future actions (Eyal, Liberman, Trope, & Walther, 2004). We further predicted and results from one experiment show that ...

Who is in favour of domination? Surely some people have a strong interest in preserving it, but as this is not publicly confessable and people enjoy picturing themselves as moral, everyone will officially support a non-domination programme. What is more, Ian Shapiro suggests, in circumstances where ‘you cannot be confident of your ability to dominate others’, it is in your interest ‘to create a...

While in the past design focused on products, our new challenge is to focus on people. An understanding of perceptions and the emotional connections people form with products and services is critical factors in advancing the practice of design. This paper will begin by discussing our background at Smart Design in exploring design and perception. It will then discuss our current methods that hel...