1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2024
Co-designing heterogeneous models: a distributed systems approach
Marius-Constantin Ilau, Tristan Caulfield, David Pym
The nature of information security has been, and probably will continue to be, marked by the asymmetric competition of attackers and defenders over the control of an uncertain envi…
cs.LO2024★ 1 cited
A Note on the Practice of Logical Inferentialism
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
math.LO2024
Base-extension Semantics for Modal Logic
Timo Eckhardt, David J. Pym
In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused…