Uniform Substitution for Differential Refinement Logic.

Enguerrand Prebet André Platzer

Published in: CoRR (2024)

Keyphrases

logic programming
multi valued
modal logic
classical logic
information systems
proof theory
formal theory
predicate logic
query refinement
logical framework
flip flops
refinement process
dynamic logic
computational properties
databases
automated reasoning
expert systems
data mining
real world
neural network