modal logic and contingent existence (generality and existence 2)
Greg Restall, A. Antonelli, C. Asmus et al.
· 0 citations
Sponsored
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Jul 2026
Inference-Behaviour Semantics for All$^\ast$ Connectives in Two-Dimensional Sequent Calculi
Inference-behaviour semantics (I-bS) is a new approach to proof-theoretic semantics, grounded in two inferentialist principles: (1) the use of an expression in reasoning determines its meaning, and (2) a connective is defined by its operational rules. I-bS operationalises these ideas by measuring the syntactic use of a...
Sophie Nagler
· 1 citation