Laura Schnüriger

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Prime Implicates

Multiple Instance

Real Valued Data

Top Venues

Advances in Modal Logic

Log. Methods Comput. Sci.

Publications

Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A Real-Valued Modal Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A Real-Valued Modal Logic. CoRR (2017)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
Axiomatizing a Real-Valued Modal Logic. Advances in Modal Logic (2016)