Nondeterministic and nonconcurrent computational semantics for BB+ and related logics
Shay Allen Logan · Journal of Logic and Computation · 2023
Abstract In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.