Meeting of the Association for Symbolic Logic: Atlanta 1973.

C. Ward Henson Bjarni Jónsson E. G. K. López-Escobar Michael D. Resnik

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

Keyphrases

logic programming
high level
classical logic
symbolic representation
automated reasoning
multi valued
binary decision diagrams
database
databases
modal logic
truth values
formal theory
dynamic logic
proof theory
meeting room
propositional dynamic logic