---
title: "axiomatic semantics"
source: https://www.jemoka.com/posts/kbhaxiomatic_semantics/
---

Pre-conditions and post-conditions for specify logical formula; this is the basis of verification systems.
