A Second Order Logic of Existence.

Nino B. Cocchiarella

Published in: J. Symb. Log. (1969)

Keyphrases

higher order
logic programming
classical logic
computational properties
logical framework
modal logic
deontic logic
database
predicate logic
multi valued
high order
desirable properties
expert systems
case study
decision trees
defeasible logic
search engine
fourth order
real time