Abstract
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.
Citation
Jan O. M. Jaspars. "Partial Up and Down Logic." Notre Dame J. Formal Logic 36 (1) 134 - 157, Winter 1995. https://doi.org/10.1305/ndjfl/1040308832
Information