Nondeterministic and nonconcurrent computational semantics for BB+ and related logics
Article in Journal of Logic and Computation (September 2023)
The most recent citing publications are shown below. View all 97 publications that cite this research output on Dimensions.
Article in Journal of Logic and Computation (September 2023)
Article in Journal of Philosophical Logic (April 2022)
Monograph (October 2021)