Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Characterizing finite Kripke structures in propositional temporal logic

1988415 citationsJournal Article

Authors

M. C. Browne · Carnegie Mellon University

E. M. Clarke · Carnegie Mellon University

Orna Grümberg · Carnegie Mellon University

Topics & Keywords

Formal Methods in Verification Logic, programming, and type systems Logic, Reasoning, and Knowledge

Publication Details

Published in: Theoretical Computer Science

Volume 59, Issue 1-2, pp. 115-131

DOI: 10.1016/0304-3975(88)90098-9

Field-Weighted Citation Impact: 4.77

Characterizing finite Kripke structures in propositional temporal logic | Researchclopedia