Adam Prenosil

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We introduce distributive unimodal logic as a modal logic of binary relations over posets which naturally generalizes the classical modal logic of binary relations over sets. The relational semantics of this logic is similar to the relational semantics of intuitionistic modal logic and positive modal logic, but it generalizes both of these by placing no(More)
  • 1