Login / Signup
Timo Eckhardt
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Default Theories
Explanation Based Generalization
Kripke Models
Abstract Argumentation Frameworks
Top Venues
CoRR
</>
Publications
</>
Timo Eckhardt
,
David J. Pym
Base-extension Semantics for Modal Logic.
CoRR
(2024)