The best arguments for possible worlds. as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of the...

When merging belief sets from different agents, the result is normally a consistent belief set in which the inconsistency between the original sources is not represented. As probability theory is widely used to represent uncertainty, an interesting question therefore is whether it is possible to induce a probability distribution when merging belief sets. To this end, we first propose two approa...

Involving as it does impossible worlds and the like, the Routley-Meyer worlds semantics for relevant logic has seemed unmotivated to some. I set a version of relevant semantics in a context to make sense of its different elements. Suppose a view which makes room for structured properties — or related entities which combine in arbitrary ways to form structured ones. Then it may seem natural to s...

Standard knowledge representation systems are supposed to be able to represent either common or individual knowledge about the world. In this paper we propose an extension to such knowledge representation systems which, in a uniform manner, allows to express beliefs of multiple agents as well as knowledge, desire, time and in fact any modality which has a rst-order predicate logic possible worl...

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties of the accessibility functions (being injective, surjective, increasing, etc.) have been considered and axiomatic systems (called functional) which define t...

Early work on natural language database query processing focused on theories of compositional semantics. Recent work concentrates on the translation of NL queries to SQL where semantics is primarily used in an ad hoc manner to guide syntactic translation. Here, we argue that there remains a need for an efficiently-implementable denotational semantics for NL DB queries, and show how this can be ...

(✓ 1 ✓ 2 ) := F ( ̄ ✓)(✓ 1 ✓ 2 ) (17) Since μ̇ > 0 and min (V ) > 0, we have (✓ 1 ✓ 2 ) 0 (G(✓ 1 ) G(✓ 2 )) (✓ 1 ✓ 2 ) 0 (V )(✓ 1 ✓ 2 ) > 0 for any ✓ 1 6= ✓ 2 . Hence, G(✓) is an injection from Rd to Rd, and so G 1 is a well-defined function. Consequently, (15) has a unique solution ˆ ✓ = G (Z). Let us consider an ⌘-neighborhood of ✓⇤, B⌘ := {✓ : k✓ ✓⇤k  ⌘}, where ⌘ > 0 is a constant that will ...

Neuroscience has recently contributed a lot to the understanding of aesthetic experience features. Science, art and creativity are not really distinctively different entities. The parallelism seen between the properties of art and organizational principals of the brain has been highlighted through neuroaesthetic studies. Aesthetic as a subjective experience has comprehensively been studies thro...

In this paper, we study the coherent transport of single photon in a coupled resonator waveguide (CRW) where two threelevel Λ-type atomic ensembles are embedded in two separate cavities. We show that it is possible to control the photon transmission and reflection coefficients by using classical control fields. In particular, we find that the total photon transmission and reflection are achieva...