Partial Up and Down Logic
Jan O. M. Jaspars · Notre Dame Journal of Formal Logic · 1995
This paper presents logics for reasoning about extension and reduction of partial information states. This enterprise amounts to nonpersistent variations of certain constructive logics, in particular the so-called logic of constructible falsity of Nelson. We provide simple semantics, sequential calculi, completeness and decidability proofs.