A Decidable mu-Calculus: Preliminary Report

Vaughan R. Pratt

Published in: FOCS (1981)

Keyphrases

linear time temporal logic
first order logic
transitive closure
model checking
datalog programs
provably correct
neural network
formal language
database
website
proof procedure
automated deduction
natural deduction
computer algebra