A Mechanized Proof Procedure for Free Intensional Logics.

Raymond D. Gumb

Published in: IJCAI (1977)

Keyphrases

integrity constraints
proof procedure
proof procedures
theorem proving
propositional logic
first order logic
inference rules
expressive power
decision procedures
predicate calculus
abductive logic programming
propositional satisfiability
modal logic
theorem prover
automated reasoning
data model