Login / Signup
Jonathan Lukic
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Modal Logic
Proof Theory
Intelligent Systems
Building Blocks
Top Venues
Stud Logica
</>
Publications
</>
Albert J. J. Anglberger
,
Jonathan Lukic
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *.
Stud Logica
103 (5) (2015)