Promotionsvortrag: The Complexity of the Product Logics K4 x S5 and S4 x S5 and of the Logic SSL of Subset Spaces

Name: Promotionsvortrag: The Complexity of the Product Logics K4 x S5 and S4 x S5 and of the Logic SSL of Subset Spaces
Start: 2020-01-08T13:00:00+01:00
End: 2020-01-08T13:30:00+01:00
Location: 41/0401

08. 01. 2020 | 13.00 Uhr - 13.30 Uhr

Promotionsvortrag von Frau Dipl.-Inf. Gisela Krommes