A correspondence theory for terminological logics: preliminary report

Propositional dynamic logic of regular programs

1979 • 1,188 citations

The Computational Complexity of Provability in Systems of Modal Propositional Logic

1977 • 572 citations

Reasoning and Revision in Hybrid Representation Systems

1990 • 415 citations

A companion to modal logic

1984 • 373 citations

Models of program logics

1979 • 208 citations

Algebraic semantics for modal logics II

1966 • 200 citations

Deterministic propositional dynamic logic: Finite models, complexity, and completeness

1982 • 70 citations

The taming of converse: Reasoning about two-way computations

1985 • 54 citations

Propositional dynamic logics of programs: A survey

1981 • 34 citations