An axiomatization of bisimulation quantifiers via the mu-calculus.

Giovanna D'Agostino Giacomo Lenzi

Published in: Theor. Comput. Sci. (2005)

Keyphrases

situation calculus
first order logic
development environment
proof procedure
provably correct
computer algebra
real world
natural language
automated deduction
neural network
machine learning
learning algorithm
information systems
web services
bayesian networks
algebraic structure