Login / Signup
Computing Quantifiers in Predicate Modal Logics.
P. J. de la Quintana
Published in:
ECAI (1988)
Keyphrases
</>
modal logic
inference rules
first order logic
decision procedures
temporal logic
nonmonotonic logics
epistemic logic
classical logic
theorem proving
default logic
horn clauses
artificial intelligence
multi agent systems
data management
model checking
situation calculus