Deduction Systems for Multimodal Logics with Operations on Modalities

Book English OPEN
Kuusisto, Antti;
  • Publisher: Tampereen yliopisto
  • Subject: fi=Matematiikka | en=Mathematics|
    arxiv: Computer Science::Logic in Computer Science

This article is a brief, user friendly discourse on extensions of multi- modal logics with operations on modalities. Such logics are considered from a general point of view with the emphasis on the theory of deduc- tion systems. The first part of the article concentrate... View more
Share - Bookmark