A ν-calculus with local views for systems of sequential agents

This publication has 4 references indexed in Scilit:

• A trace based extension of linear time temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modal and Temporal Logics
  Published by Oxford University Press (OUP) ,1992
• An automata theoretic decision procedure for the propositional mu-calculus
  Information and Computation, 1989
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983