Cyberlogic is an enabling logical foundation for building and analyzing digital transactions
that involve the exchange of digital forms of evidence. It is based on an extension of (first …