A Completeness Result for Quantificational Tense Logic.

Robert P. McArthur Hugues Leblanc

Published in: Math. Log. Q. (1976)

Keyphrases

image segmentation
multiscale
logic programming
modal logic
propositional logic
multi valued
neural network
artificial intelligence
expert systems
temporal logic
classical logic
defeasible logic