Exploring coalgebraic semantics for intuitionistic modal logic using image-finite posets.
― 5 min read
Cutting edge science explained simply
Exploring coalgebraic semantics for intuitionistic modal logic using image-finite posets.
― 5 min read