Abstract: The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets. This powerful logic is widely used in computer science, in the area of verification of correctness of concurrent systems. In this survey we review both the theoretical aspects of the modal µ-calculus and its applications to computer science
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
We survey deductive systems for the modal µ-calculus. The distinguishing feature between different s...
Abstract: The modal µ-calculus is an extension of modal logic with two operators µ and ν, which giv...
Abstract: The modal µ-calculus is an extension of modal logic with two operators µ and ν, which giv...
Abstract: The modal µ-calculus is an extension of modal logic with two operators µ and ν, which giv...
The modal mu-calculus is an extension of modal logic with two operators mu and ni, which give the le...
We briefly survey the background and history of modal and temporal logics. We then concentrate on th...
abstract. Modal µ-calculus is a modal logic with fixed-point operators and well-known in mathematics...
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
We survey deductive systems for the modal µ-calculus. The distinguishing feature between different s...
Abstract: The modal µ-calculus is an extension of modal logic with two operators µ and ν, which giv...
Abstract: The modal µ-calculus is an extension of modal logic with two operators µ and ν, which giv...
Abstract: The modal µ-calculus is an extension of modal logic with two operators µ and ν, which giv...
The modal mu-calculus is an extension of modal logic with two operators mu and ni, which give the le...
We briefly survey the background and history of modal and temporal logics. We then concentrate on th...
abstract. Modal µ-calculus is a modal logic with fixed-point operators and well-known in mathematics...
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
Some theory of Modal μ-calculus is surveyed, with special emphasis on recent results
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
The Modal μ-Calculus is an extension of Modal Logic with two operators for least (μ) and greatest (ν...
We survey deductive systems for the modal µ-calculus. The distinguishing feature between different s...
Add to ORKG