Single Step Tableaux for Modal Logics

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Saul A. Kripke · Mathematical logic quarterly · 1963 · 1.3K citations

Humanities, Computer Science, Philosophy +15

Propositional dynamic logic of regular programs

Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations

Computing, Computer Science, Formal Methods +12

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

A guide to completeness and complexity for modal logics of knowledge and belief

Joseph Y. Halpern, Yoram Moses · Artificial Intelligence · 1992 · 845 citations

Humanities, Computer Science, Mathematics +12