Schnüriger, Laura Janina

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2018 | 2016

2018

Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura Janina (2018). A real-valued modal logic. Logical methods in computer science, 14(1), pp. 1-27. Department of Theoretical Computer Science, Technical University of Braunschweig 10.23638/LMCS-14(1:10)2018

Schnüriger, Laura Janina (2018). Modal Extensions of Abelian Logic. (Dissertation, Universität Bern, Philosophisch-naturwissenschaftliche Fakultät)

2016

Metcalfe, George; Diaconescu, Denisa; Schnüriger, Laura Janina (2016). Axiomatizing a Real-Valued Modal Logic. In: Beklemishev, Lev; Demri, Stéphane; Máté, András (eds.) Advances in Modal Logic 11 (pp. 236-251). College Publications

Provide Feedback