# Modal μ-calculus

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- 2017

We introduce an extension of modal μ-calculus to sets with atoms and study its basic properties. Model checking is decidable on… (More)

Is this relevant?

2017

2017

- 2017

The topics of this thesis are the modal μ-calculus and parity games. The modal μ-calculus is a common logic for model-checking in… (More)

Is this relevant?

2017

2017

- ArXiv
- 2017

For a regular cardinal κ, a formula of the modal μ-calculus is κ-continuous in a variable x if, on every model, its… (More)

Is this relevant?

2012

2012

- Logical Methods in Computer Science
- 2012

The probabilistic modal μ-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition… (More)

Is this relevant?

2011

2011

- TABLEAUX
- 2011

The modal μ-calculus extends basic modal logic with secondorder quantification in terms of arbitrarily nested fixpoint operators… (More)

Is this relevant?

2009

2009

- Studia Logica
- 2009

We show that the modal μ-calculus over GL collapses to the modal fragment by showing that the fixpoint formula is reached after… (More)

Is this relevant?

2006

2006

- 2006

Modal μ-calculus is a modal logic with fixed-point operators and well-known in mathematics and computer scince. For example, many… (More)

Is this relevant?

1997

1997

- Hybrid Systems
- 1997

We start from a basic and fruitful idea in current work on the formal analysis and verification of hybrid and real-time systems… (More)

Is this relevant?

1995

1995

- TACAS
- 1995

In this paper we present a novel approach for solving Boolean equation systems with nested minimal and maximal fixpoints. The… (More)

Is this relevant?

1993

1993

- CSL
- 1993

Abst rac t . We consider the modal p-calculus due to Kozen, which is a finitary modal logic with least and greatest fixed points… (More)

Is this relevant?