• The beginning of the talk recalls the foundations of exact abstract interpretation which can be found in the book Principles of Abstract Interpretation'' (Ch. 15 — Fixpoints; Ch 11 — Galois Connections and Abstraction; Ch. 18 — Fixpoint Abstraction; Ch 16 — Fixpoint and Deductive Definitions excluding Inductive, Structural, (Coinductive, and Bi-inductive Definitions), and Ch. 12 — Relational and Transformer Semantics.)
• The design of the logics is found in
  Patrick Cousot.
  On the Design of Program Logics
  In Podelski's Festchrift, 15 p., © Springer, 2024 (to appear).
• After the talk, I have written notes on nonstandard axiomatic semantics

\bibitem{Cousot-Tartu26}
P.~Cousot.
\newblock Design of Program Logics by Abstract Interpretation
\newblock Tartu Ülikool, Arvutiteaduse institut, Tartu, Estonia, 24 April 2026

@inproceedings{Cousot-Google25,
   author =    {Cousot, P{.}},
   title =     {Design of Program Logics by Abstract Interpretation},
   booktitle = {Tartu Ülikool, Arvutiteaduse institut, Tartu, Estonia, Tartu, Estonia},
   month =     apr,
   year =      2026,
}