Login / Signup
Many-valued modal logics.
Melvin Fitting
Published in:
Fundam. Informaticae (1991)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
classical logic
situation calculus
epistemic logic
default logic
nonmonotonic logics
model checking
autoepistemic logic
bayesian networks
cooperative
satisfiability problem
answer set programming