Review of Wölfl: Combined temporal and modal logic - completeness results for quanttified languages
 
The review provides an English summary of the technical results of Wölfl's ground-breaking Regensburg PhD thesis.   
 
 

back to "publications"