Login / Signup
Santiago Echeverri-Valencia
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Decision Procedures
Multi Faceted
Kripke Models
Modal Logic
Top Venues
J. Appl. Non Class. Logics
</>
Publications
</>
Juan Carlos Agudelo Agudelo
,
Santiago Echeverri-Valencia
Polynomial semantics for modal logics.
J. Appl. Non Class. Logics
29 (4) (2019)