Modal resolution in clausal form

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions

P. T. Geach · Philosophical Books · 1963 · 869 citations

Humanities, Philosophy, Epistemology +9

AN INTRODUCTION TO MODAL LOGIC

J. E. J. Altham · Philosophical Books · 1969 · 786 citations

Humanities, Computer Science, Formal Methods +11

Machine Intelligence 4. Edited by B. Meltzer and D. Michie. Pp. viii, 508. 100s. 1969. (Edinburgh University Press.)

F. R. A. Hopgood · The Mathematical Gazette · 1970 · 340 citations

Computing, Computer Science, Artificial Intelligence +3

Semantical Considerations on Floyd-Hoare Logic

Vaughan Pratt · DSpace@MIT (Massachusetts Institute of Technology) · 1976 · 150 citations · Full text

Language Studies, Computer Science, Mathematics +17