Gödel's Legacy: Does Future lie in the Past?
Event name
Gödel's Legacy: Does Future lie in the Past?
Start date
25-07-2019
End date
27-07-2019
Location
Wien
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Pkhakadze, Sopo ; Tompits, Hans | A Gentzen-Type Calculus for Disjunctive Default Logic. | Konferenzbeitrag Inproceedings | 2019 | |
| 2 | Marinkovic, Vedran ; Tompits, Hans | On Translating Multi-Modal Logics to Quantified Propositional Logic | Konferenzbeitrag Inproceedings | 2019 |