Learn More
This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golińska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]).(More)