Modal Multilattice Logic.

Norihiro Kamide Yaroslav Shramko

Published in: Logica Universalis (2017)

Keyphrases

modal logic
nonmonotonic logics
modal operators
epistemic logic
temporal logic
classical logic
proof theory
inference rules
dynamic logic
data sets
predicate logic
deontic logic
multi valued
formal language
model checking
multiscale
neural network