commit 6b27e16f6670a5753ea79d8bf72c75069b6401c5
parent dbb3bdd3a2db83904aafe0ca48d42d25006b0839
Author: Alex Balgavy <alex@balgavy.eu>
Date: Thu, 17 Mar 2022 15:38:26 +0100
Fix formatting
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/content/advanced-logic-notes/lecture-12/index.md b/content/advanced-logic-notes/lecture-12/index.md
@@ -13,6 +13,7 @@ The R of the frame is all sets of Rₐ where _a_ is a program (i.e. a label on a
<details>
<summary>Proof example of 〈α, β〉 p → 〈α〉〈β〉p</summary>
+
- Take a PDL model and a state x.
- Assume x ⊨ 〈α, β〉 p
- That is, there is a state y such that $(x, y) \in R_{\alpha;\beta}$ and y ⊨ p.
