A Generalized Hybrid Hoare Logic.

Naijun Zhan Bohua Zhan Shuling Wang Dimitar P. Guelev Xiangyu Jin

Published in: CoRR (2023)

Keyphrases

modal logic
multi valued
databases
logic synthesis
hybrid approaches
linear logic
deontic logic
formal theory
predicate logic
digital circuits
computational properties
logical framework
inference rules
temporal logic
logic programming
decision trees
search engine
artificial intelligence
data mining