A Hoare Logic for Diverging Programs.

Johannes Åman Pohjola Magnus O. Myreen Miki Tanaka

Published in: Arch. Formal Proofs (2023)

Keyphrases

dynamic logic
logic programming
modal logic
declarative semantics
asynchronous circuits
recursive programs
functional programs
delay insensitive
agent programming
provably correct
answer sets
deontic logic
modal operators
epistemic logic
classical logic
multi valued
logic programs