Name Card

Full name Familienname, Vorname
De Nivelle, Hans
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

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