The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one’s conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has ...

It is known that the implicational fragment of the relevant logic E is complete with respect to the class of Urquhart's models, where a model consists of a semilattice and a set of possible worlds. This paper shows that some implicational relevant logics, which are obtained from E by adding axioms, are complete with respect to the class of Urquhart's models with certain conditions. To show this...

This paper is a contribution to the semantical theory of different types of knowledge ascription, in particular the semantics of ‘knowing who’ and of the interaction between quantifiers and epistemic modal expressions. In possible world semantics, the truth conditions of such sentences depend on the way that identity across possible worlds is modeled. The main argument of this paper is that the...

The integration of spatial datasets from different sources is becoming an increasingly important issue. It is very desirable to have a rigorous approach to integration, as an ad hoc approach can easily lead to incorrect inferences. This paper takes a formal approach, giving the beginnings of a logical semantics framework which allows meaning to be defined mathematically for spatial datasets whi...

We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the judge as the arbiter of law determines the legal permissibility of the presented arguments the jurors as triers of facts determine their probable weights. Such a framework is based on two key components: classical argumentation ...

For many years this phenomenon was surprisingly neglected by psychical researchers, and experimental investigations were few and far between. Nevertheless, most studies gave statistically significant positive results indicating that people really could tell when they were being looked at from behind (for reviews see Braud, Shafer & Andrews, 1993a; Sheldrake, 1994). Recent studies have also give...

Epistemic modals are a prominent topic in the literature on natural language semantics, with wide-ranging implications for issues in philosophy of language and philosophical logic. Considerations about the role that epistemic might and must play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural language mo...

It has sometimes been proposed that generic sentences make statements about prototypic members of a category. In this paper I will elaborate this view and develop an account where generic sentences express quantification about the normal exemplars in a categoryhere and in counterf.actual worlds sufficiendy similar to our own. Comparing the account to the currendy most widespread analysis which ...

Only knowing captures the intuitive notion that the beliefs of an agent are precisely those that follow from its knowledge base. While only knowing has a simple possible-world semantics in a single agent setting, the many agent case has turned out to be much more challenging. In a recent paper, we proposed an account which arguably extends only knowing to multiple agents in a natural way. Howev...

A foundational approach to modell ing belief contraction and revision is presented, based on a notion of similarity between belief sets. In contracting from a belief set, the result is the belief set(s) most similar to the original in which is not believed; similar considerations apply to belief revision. The modell ing of belief change generalises the Grove modell ing based on a system of sphe...