International Journal of Approximate Reasoning · 1993 · 16 citations · 14 references
ComputingMathematicsFormal MethodsLogicPhilosophy Of ScienceAutomated ReasoningDeductive ReasoningDeductive VerificationModal LogicProof TheoryTheorem ProvingPossibility TheoremsPossibility TheoryProof Of Necessity
14
L. A. Zadeh · Information and Control · 1965 · 66.1K citations
KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions
P. T. Geach · Philosophical Books · 1963 · 869 citations