On modal operators in S4/S5 modal logic regarded as (co-)monads:
Created on July 29, 2023 at 13:30:38. See the history of this page for a list of all contributions to it.