Standard analyses of omniscience are advanced in terms of a being's knowing the truth value of propositions. For example, Kenny writes that 'The doctrine of omni-science is easy to formulate precisely: it is the doctrine that for all p, then God knows that p.1 Richard Swinburne proposes that 'To say of a person P that he is omniscient at time t is to say that at t P knows of every true proposit...

Robert Brodrick Boston College 
 This paper advances the claim that the perceived rift between theology and scientific cosmology is not merely due to the advances of modern science but also to particular philosophical and theological developments in the realms of epistemology and the social imaginary. In light of this perspective, the author suggests that the recent work done regarding scientif...

In organizations, employees work with information stored in files according to their duties and responsibilities. Windows uses resource-based access permissions that any permission for user has be set separately per resource. This approach gets complicated as the number of resources users increase, causes oversights assigning permissions. Therefore, a special mechanism is required scrutinize wh...

CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that ...