Uniform Substitution for Differential Refinement Logic.

Enguerrand Prebet André Platzer

Published in: IJCAR (2) (2024)

Keyphrases

classical logic
multi valued
defeasible logic
logic programming
automated reasoning
probabilistic logic
formal theory
e learning
relational databases
logical framework
computational properties
set theory
deontic logic
linear logic
sound and complete axiomatization