Workshop on Non-classical Logics
Event name
Workshop on Non-classical Logics
Event type
Event for scientific audience
Start date
25-11-2011
End date
26-11-2011
Location
Wien, Austria
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Fasching, Oliver | Modal Gödel operators as Gödel homomorphisms | Präsentation Presentation | 2011 | |
2 | Zamansky, Anna | Non-deterministic semantics and their applications in proof theory | Präsentation Presentation | 2011 | |
3 | Baaz, Matthias | Sequents of relation calculus: standard and witnessed first order Gödel logics | Präsentation Presentation | 2011 |