Login / Signup
Restricted Interpolation in Modal Logics.
Larisa Maksimova
Published in:
Advances in Modal Logic (2002)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
default logic
conditional logic
model checking
situation calculus
epistemic logic
image interpolation
dynamic logic
artificial intelligence
expert systems