Login / Signup
Michel Marti
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 7
Top Topics
Sequent Calculi
Kripke Models
Modal Logic
Model Construction
Top Venues
Advances in Modal Logic
CoRR
Arch. Math. Log.
FLAP
</>
Publications
</>