Questions tagged [mu-calculus]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
36 views

First-order linear mu-calculus?

There is linear $\mu$-calculus (see e.g. [1]) and first-order $\mu$-calculus (see e.g. here). Has anybody studied first-order linear $\mu$-calculus? [1]: Christian Dax, Martin Hofmann, Martin Lange: A ...
Nicola Gigante's user avatar
1 vote
0 answers
60 views

Generalization of computability to continuous for loops? [closed]

A computable function, formulated in the sense of mu recursion, can compute a for or do loop over some (possibly infinite) integer range. I was wondering if a suitable generalization exists that ...
Abhimanyu Pallavi Sudhir's user avatar
1 vote
1 answer
92 views

Is every countable, finite-branching LTS bisimilar to a tree?

Let $L$ be a finite set of labels, and let $\mathcal{C}$ be the set of finitely-branching transition systems labeled by $L$ and with a countable set of states. Let $\sim$ denote the bisimulation ...
wanderingmathematician's user avatar
2 votes
1 answer
239 views

Is modal $\mu$-calculus "equivalent" to bisimulation?

I know that propositional modal $\mu$-calculus $L\mu$ is bisimulation-invariant. However, I'm curious to what degree it captures bisimulation. Q1: Given two labeled transition systems $T_1$, $T_2$ ...
wanderingmathematician's user avatar
1 vote
2 answers
4k views

LTL property - safety or liveness?

How can I check if an LTL (Linear Temporal Logic) property is safety or liveness? Is it right to say that a property is safety OR liveness (or neither)? How can I evaluate this: ...
Nk SP's user avatar
  • 131
9 votes
1 answer
1k views

CTL* and mu-calculus

it is well known that the modal $\mu$-calculus is one of the most expressive temporal logics for expressing properties of trees/graphs, and that CTL* is strictly less expressive than the $\mu$-...
LORE81's user avatar
  • 111
6 votes
2 answers
243 views

Fragments of the mu calculus

I would like to know if somebody has studied the following very simple fragment of the modal mu-calculus: $$F::= X \;| \; p \; | \; F \wedge G \; | \; [a]F \; | \; \nu X.F$$ where p ranges over ...
Mn10's user avatar
  • 61
3 votes
2 answers
3k views

What are "$\mu$-recursive functions" and $\mu$-calculus?

I saw in this question a reference to $\mu$-recursive functions or $\mu$-calculus as some computation model equivalent to Turing machines and $\lambda$-calculus. I know about these two but never heard ...
Ither's user avatar
  • 133
6 votes
1 answer
627 views

Books on Mu-Calculus

I need a book on Mu-Calculus with lots of examples that can be used for self-study and preparation for exams.
Shambo's user avatar
  • 163