We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set Γ intuitively means that under the circumstance of Γ, if P is true then some “part” of Q will also be true. We distinguish three different kinds of partial entailments and formalize the...

We extend labelled transition systems to distributed transition systems by labelling the transition relation with a nite set of actions, representing the fact that the actions occur as a concurrent step. We design an action-based temporal logic in which one can explicitly talk about steps. The logic is studied to establish a variety of positive and negative results in terms of axiomatizability ...

Logical Volumes have the following advantages over physical volumes 1. Flexible Capacity: Since multiple disks can be aggregated into single logical volume files systems can extend over multiple disks. 2. Resize-ability: The size of the logical volume can be increased or decreased without reformatting the underlying disk. 3. Disk Striping: Logical volumes can stripe across two or more disks. 4....