Reversible Bond Logic.

Published in: CoRR (2023)

Keyphrases

modal logic
logic programming
markov chain
predicate logic
databases
cellular automata
automated reasoning
probabilistic logic
computational properties
logic synthesis
dynamic logic
nonmonotonic logics
classical logic
multi valued
probability theory
state space
machine learning