A Strong and Mechanizable Grand Logic.

M. Randall Holmes

Published in: TPHOLs (2000)

Keyphrases

modal logic
deontic logic
multi agent
logic programming
automated reasoning
multi valued
computational properties
neural network
logical framework
abductive reasoning
linear temporal logic