Shhh! The Logic of Clandestine Operations.

Pavel Naumov Oliver Orejola

Published in: CoRR (2023)

Keyphrases

modal logic
logical operations
logic programming
formal theory
database
real time
predicate logic
knowledge representation
multi valued
digital circuits
proof theory