Login / Signup
Newton Marques Peron
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Explanation Based Generalization
Kripke Models
Modal Logic
Prime Implicates
Top Venues
Log. J. IGPL
</>
Publications
</>
Marcelo E. Coniglio
,
Luis Fariñas del Cerro
,
Newton Marques Peron
Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case.
Log. J. IGPL
30 (5) (2022)