The Pure Logic of Necessitation.

Melvin Fitting V. Wiktor Marek Miroslaw Truszczynski

Published in: J. Log. Comput. (1992)

Keyphrases

logic programming
modal logic
classical logic
asynchronous circuits
epistemic logic
case study
automated reasoning
predicate logic
digital circuits
neural network
multi valued
database
computational properties
multiscale
abductive reasoning
databases
data sets