An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More.

Published in: CoRR (2020)

Keyphrases

modal logic
classical logic
propositional dynamic logic
propositional calculus
logic programming
epistemic logic
proof theory
intuitionistic logic
conditional logic
relational databases
data model
databases
temporal logic
higher order logic
proof theoretic