MoL-2013-27: Vlasta Sikimic Towards a Proof-Theoretic Semantics for Dynamic Logics 1.Full Text, 2.Abstract. < Back
