Login / Signup
Stephan Krämer
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 5
Top Topics
Belief Revision
Optimization Criterion
Parameter Identification
Plausible Inference
Top Venues
Synth.
J. Philos. Log.
Eng. Comput.
</>
Publications
</>
Stephan Krämer
That's It! Hyperintensional Total Logic.
J. Philos. Log.
52 (4) (2023)
Stephan Krämer
Mighty Belief Revision.
J. Philos. Log.
51 (5) (2022)
Stephan Krämer
Ground-theoretic equivalence.
Synth.
198 (2) (2021)
Stephan Krämer
Towards a theory of ground-theoretic content.
Synth.
195 (2) (2018)
Stephan Krämer
A hyperintensional criterion of irrelevance.
Synth.
194 (8) (2017)
Stephan Krämer
,
Steffen Rothe
,
Stefan Hartmann
Homogeneous stress-strain states computed by 3D-stress algorithms of FE-codes: application to material parameter identification.
Eng. Comput.
31 (1) (2015)
Stephan Krämer
Implicit commitment in theory choice.
Synth.
191 (10) (2014)