Tableau Calculus for PDL and Interpolation

This page provides the original German text of the diploma thesis Tableau-Kalkül für PDL und Interpolation by Manfred Borzechowski at FU Berlin in 1988, and an English translation by Malvin Gattinger. Please send any questions or comments to malvin@w4eg.eu.

Original German Text

Borzechowski1988-PDL.pdf

Translation to English

Borzechowski1988-PDL-translation-Gattinger2020.pdf


Short talk at AiML2020

Follow-up

Article Tableau prover in Haskell Formally verified proofs in Lean