Volume 55, Number 1, 117-121, DOI: 10.1023/A:1011956421045

Wölfl, Stefan, Kombinierte Zeit- und Modallogik, Vollständigkeitsresultate für prädikatenlogische Sprachen

Niko Strobach

View Related Documents

Abstract

Fulltext Preview

Image of the first page of the fulltext document