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

Results on the propositional μ-calculus

19831,809 citationsJournal Article

Authors

Dexter Kozen · IBM (United States)

Topics & Keywords

Logic, Reasoning, and Knowledge Logic, programming, and type systems Advanced Algebra and Logic

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Theoretical Computer Science

Volume 27, Issue 3, pp. 333-354

DOI: 10.1016/0304-3975(82)90125-6

Field-Weighted Citation Impact: 11.39

Results on the propositional μ-calculus | Researchclopedia