Presupposition, Admittance and Karttunen Calculus

This paper describes the logical properties of various systems dealing with presuppositions in natural language. It is an extended version, May 2021, of a paper that is to appear in Sedlár et al. (eds.), Logica Yearbook 2020. This version includes appendices with proofs of claims made in that paper.