A new axiomatization of modal system K1.2.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1973)

Keyphrases

modal logic
situation calculus
general theory
databases
neural network
image analysis
nonmonotonic logics
complete axiomatization
bayesian networks