24th International Conference, TABLEAUX 2015

Event name
24th International Conference, TABLEAUX 2015
 
Event type
Event for scientific audience
 
Start date
21-09-2015
End date
24-09-2015
 
Location
Wroclaw
Country
Poland
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lellmann, Björn Linear Nested Sequents, 2-sequents and HypersequentsKonferenzbeitrag Inproceedings2015
2Genco, Francesco Antonio Mīmāṃsā deontic logic: proof theory and applicationsPräsentation Presentation2015
3Lellmann, Björn ; Ciabattoni, Agata ; Freschi, Elisa ; Genco, Francesco Mīmāṃsā Deontic Logic: Proof Theory and ApplicationsKonferenzbeitrag Inproceedings2015
4Borg, Annemarie ; Kuznets, Roman Realization Theorems for Justification Logics: Full ModularityKonferenzbeitrag Inproceedings 2015