1. The relevance of science to philosophy What is philosophical naturalism? Most fundamentally, presumably, it is the view that natural science constrains philosophy, in the following sense. The concerns of the two disciplines are not simply disjoint, and science takes the lead where the two overlap. At the very least, then, to be a philosophical naturalist is to believe that philosophy is not ...

Risk management throughout the project life cycle, from initial phase beginning to final phase, ended continuously and dynamically, is one of basic requirements for success any project-oriented organization. To effectively identify manage risks at all stages project, careful selection must be made levels In some cases, implementing response may eliminate risk but reciprocally create additional ...

The uniform one-dimensional fragment U1 of first-order logic was introduced recently as a natural generalization of the two-variable fragment FO2 to contexts with relation symbols of all arities. It was shown that U1 has the exponential model property and a NExpTime-complete satisfiability problem. In this paper we investigate two restrictions of U1 that still contain FO2. We call these logics ...

This paper presents a general method for proving termination of tableaux-based procedures for modal-type logics and related firstorder fragments. The method is based on connections between filtration arguments and a general blocking technique. The method provides a general framework for developing tableau-based decision procedures for a large class of logics. In particular, the method can be ap...

Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While researchers have identified many uses of spatial conjunction, its precise expressive power compared to traditional logical constructs was not previously known. In this paper we establish the expressive power of spatial conjunctio...

In this paper, we focus our attention on tableau systems for the propositional interval logic of temporal neighborhood (Propositional Neighborhood Logic, PNL for short). PNL is the proper subset of Halpern and Shoham’s modal logic of intervals whose modalities correspond to Allen’s relations meets and met by. We first prove by a modeltheoretic argument that the satisfiability problem for PNL ov...

We introduce a category of basic combinatorial objects, encompassing PCAs and locales. Such a basic combinatorial object is to be thought of as a pre-realizability notion. To each such object we can associate an indexed preorder, generalizing the construction of triposes for various notions of realizability. There are two main results: first, the characterization of triposes which arise in this...