Undefined Expressions and Logic in Z and B.

Bill Stoddart Steve Dunne Andy Galloway

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

facial expressions
modal logic
formal theory
natural language
classical logic
predicate logic
logic programming
automated reasoning
mathematical expressions
neural network
real world
bayesian networks
relational databases
defeasible logic
rewrite rules
deontic logic