4 papers · 1 filter
Semantic Foundations of Reductive Reasoning
Alexander V. Gheorghiu, David J. Pym
The development of logic has largely been through the 'deductive' paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both hu…
Inferentialist Public Announcement Logic: Base-extension Semantics
Timo Eckhardt, David J. Pym
Proof-theoretic semantics, and base-extension semantics in particular, can be seen as a logical realization of inferentialism, in which the meaning of expressions is understood thr…
A Note on an Inferentialist Approach to Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires a…
Base-extension Semantics for S5 Modal Logic
Timo Eckhardt, David Pym
We develop a proof-theoretic semantics -- in particular, a base-extension semantics -- for multi-agent S5 modal logic (and hence also for the usual unindexed S5). Following the inf…