A logic of separating modalities.

Jean-René Courtault Didier Galmiche David J. Pym

Published in: Theor. Comput. Sci. (2016)

Keyphrases

logic programming
classical logic
automated reasoning
multi valued
proof theory
website
deontic logic
computational properties
modal logic
logical framework
expert systems
defeasible logic
nonmonotonic logics
formal theory
abductive reasoning
epistemic logic
image sequences
multimedia
logic synthesis