Quantified Logic for Propositional Attitudes
FAIN: FT-11886-74
Gail C. Stine
Wayne State University (Detroit, MI 48201-1347)
To develop a system of logic that would be useful in solving "propositional attitudes" (having to do with the phenomenon of someone knowing, believing, desiring, etc., something).