From: A novel procedure for statistical inference and verification of gene regulatory subnetwork
M, s ╞ ! ψ | iff M, s ╞ ψ does not hold; |
M, s ╞ ψ1 &ψ2 | iff M, s ╞ ψ1 and M, s ╞ ψ2; |
M, s ╞ ψ1 | ψ2 | iff M, s ╞ ψ1 or M, s ╞ ψ2; |
M, π ╞ X ψ | iff M, π1 ╞ ψ; |
M, π ╞ F ψ | iff there exists a k ≥ 0, such that M, πk ╞ ψ; |
M, π ╞ G ψ | iff for all k ≥ 0, M, πk ╞ ψ; |
M, s ╞ A φ | iff for every path π from s, M, π ╞ φ; |
M, s ╞ E φ | iff there exists a path π from s, such that, M, π ╞ φ, |