Login / Signup
Conden Chao
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Answer Sets
Transitive Closure
Action Theories
Valued Logic
Top Venues
Log. J. IGPL
</>
Publications
</>
Conden Chao
,
Payam Seraji
Gödel's second incompleteness theorem for Σ n -definable theories.
Log. J. IGPL
26 (2) (2018)