Tensor products of modal logics.

Ilya Shapirovsky Valentin B. Shehtman

Published in: TACL (2013)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
nonmonotonic logics
high order
epistemic logic
higher order
situation calculus
default logic
classical logic
diffusion tensor
dimensionality reduction
state space
np complete
expert systems
cooperative