Dialogue semantics Based on the cubical-mini library. References: https://www.ps.uni-saarland.de/extras/fol-completeness-ext/