Concepedia
Information Processing Letters · 1982 · 33 citations · 3 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicDeductive ReasoningModal LogicModal SemanticsModal TheoryModal Reasoning
3
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text
Computing, Computer Science, Decision Support Systems +4
Expressive power of knowledge representation systems
Ewa Orłowska, Zdzisław Pawlak · International Journal of Man-Machine Studies · 1984 · 75 citations
Computing, Computer Science, Information Systems +14
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, Rohit Parikh · 1980 · 33 citations
Computing, Computer Science, Formal Methods +11