Login / Signup
George Metcalfe
ORCID
Publication Activity (10 Years)
Years Active: 2002-2024
Publications (10 Years): 27
Top Topics
Valued Logic
Proof Theory
Modal Logic
Sufficient Conditions
Top Venues
CoRR
Ann. Pure Appl. Log.
Advances in Modal Logic
Log. Methods Comput. Sci.
</>
Publications
</>