[intro and news] [people] [visitors] [seminars] [related links] |
Valentin ShehtmanChequered products of modal logicsWe define a new type of products of modal logics and show that it coincides with the standard definition in many cases. We also show that it corresponds to tensor product of modal algebras - another new operation that we define. |