Towards a Proof System for Probabilistic Dynamic Logic

Einar Broch Johnsen, Eduard Kamburjan, Raul Pardo, Erik Voogd, Andrzej Wąsowski

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Fingerprint

Dive into the research topics of 'Towards a Proof System for Probabilistic Dynamic Logic'. Together they form a unique fingerprint.

Keyphrases

Computer Science