On Modal Logics of Hamming Spaces.

Andrey Kudinov Ilya Shapirovsky Valentin B. Shehtman

Published in: Advances in Modal Logic (2012)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
classical logic
default logic
conditional logic
distance measure
hamming distance
dynamic logic
situation calculus
cooperative
autoepistemic logic