Bern Logic Seminar
Event name
Bern Logic Seminar
Event type
Event for scientific audience
Start date
05-11-2015
Location
Bern, Schweiz
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leigh, Graham | Deciding fragments of fixed point modal logic | Präsentation Presentation | 2015 | |
| 2 | Afshari, Bahareh | Towards a proof-theoretic semantics for first-order logic | Präsentation Presentation | 2015 |