Fifth TICAMORE MEETING
Event name
Fifth TICAMORE MEETING
Event type
Event for scientific audience
Start date
11-11-2019
End date
13-11-2019
Location
Wien
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-7 of 7 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | van Berkel, Kees | Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics | Präsentation Presentation | 2019 | |
| 2 | Lang, Timo | Bounded sequent calculi via hypersequents | Präsentation Presentation | 2019 | |
| 3 | Lellmann, Björn | Nested sequents and countermodels for monotone modal logic | Präsentation Presentation | 2019 | |
| 4 | Lyon, Tim | On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems | Präsentation Presentation | 2019 | |
| 5 | Gulisano, Francesca | : Resolving conflicting obligations in Mimamsa: a sequent based approach | Präsentation Presentation | 2019 | |
| 6 | Ramanayake, Revantha | Translating and Discovering Calculi for Modal and Related Logics | Präsentation Presentation | 2019 | |
| 7 | Kuznets, Roman ; Lellmann, Björn | Translating Quantitative Semantic Bounds into Nested Sequents | Präsentation Presentation | 2019 |