Login / Signup
Jonas Rogger
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Default Logic
Kripke Models
Modal Logic
Inference Rules
Top Venues
J. Comput. Syst. Sci.
WoLLIC
IPMU (2)
TACL
</>
Publications
</>