Proof Theory for Functional Modal Logic

Shawn Standefer. Proof Theory for Functional Modal Logic. Studia Logica, 106(1):49-84, 2018. [doi]

Abstract

Abstract is missing.