Login / Signup
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