# First-order μ-calculus over generic transition systems and applications to the situation calculus

> Research article (Information and Computation, 2018) · cited 27× · AI/ML

**Wikidata**: [openalex:W2791668009](https://www.wikidata.org/wiki/openalex:W2791668009)  
**Source**: https://4ort.xyz/entity/first-order-calculus-over-generic-transition-systems-and-applications-to-the-situation-calculus