Learn More
In this talk, we will show that there are only two logics that split the lattice of normal extensions of the modal logic KTB, and that no other logics can split the lattice. They are (1):the logic of the frame of one reflexive point and (2):the logic of the frame of two reflexive points jointed with a symmetric relation. This is a joint work with Tomasz(More)
  • 1