Health risks of irrigation with untreated urban wastewater in the southern Punjab, Pakistan

Irrigation water / Water quality / Water reuse / Waste waters / Risks / Public health / Diseases / Farmers / Pakistan / Southern Punjab / Haroonabad

New Testament Background: Selected Documents (Book Review)

Reviewed Title: The New Testament Background: Selected Documents, by C. K. Barrett (San Francisco: Harper and Row) 1989. xxix + 361 pp

God Meant it for Good: The Covenant and the Church Today (Book Review)

Reviewed Title: God Meant it for Good: The Covenant and the Church Today, by Ted Hoogsteen (Burlington, Ontario, Canada: Welch Publishing) 1989. 99 pp

Let the Whole World Know: Resources for Preaching on Missions (Book Review)

Reviewed Title: Let the Whole World Know: Resources for Preaching on Missions, Richard R. DeRidder and Roger S. Greenway (Grand Rapids: Baker Book House, 1988). 203 pp

Malaria in Sri Lanka: Current knowledge on transmission and control

Malaria / Disease vectors / Waterborne diseases / Environmental effects / Public health / Economic impact / Social impact / Sri Lanka

Epistemic Quantified Boolean Logic

This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define novel notions of (bi)simulation and prove that these preserve the interpretation of SOPML formulas. Finally, we apply these results to assess the expressive power of SOPML