Login / Signup
Stephan Leuenberger
ORCID
Publication Activity (10 Years)
Years Active: 2009-2021
Publications (10 Years): 1
Top Topics
Epistemic Logic
Abductive Reasoning
Proof Theory
Natural Deduction
Top Venues
Rev. Symb. Log.
Synth.
</>
Publications
</>
Stephan Leuenberger
,
Martin Smith
Epistemic logic without closure.
Synth.
198 (5) (2021)
Stephan Leuenberger
Total Logic.
Rev. Symb. Log.
7 (3) (2014)
Stephan Leuenberger
Total Logic-ERRATUM.
Rev. Symb. Log.
7 (3) (2014)
Stephan Leuenberger
What is global supervenience?
Synth.
170 (1) (2009)