Publication Success!

We’re happy to report that Stephan’s paper Web Consequence Untangled has been accepted for publication in Topoi! The paper explores the notion of web consequence recently proposed by Benjamin Schnieder. It considers a range of natural variations on that notion, develops a simple truthmaker semantics for them, and determines their propositional logics in the form of tableau based proof procedures. Preprint here.

Leave a comment