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

Borzechowski1988-PDL-translation-Gattinger2020.pdf

Other Material

Short submission and talk at AiML-2020:

Work in progress: Tableau implementation in Haskell