Necessity and some non-modal propositional calculi.

Biswambhar Pahi

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

Keyphrases

modal logic
propositional variables
sequent calculi
propositional logic
default logic
multi valued
nonmonotonic logics
prime implicates
first order logic
probabilistic logic
genetic algorithm
autoepistemic logic
neural network
spatial relations
qualitative spatial and temporal reasoning