Showing 2024 · math.LOShow all
2 papers · 2 filters
math.LO2024
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…
math.LO2024
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…