Logics and calculi for cyberphysical components - MAPi

In Figure 16 we list the rules we need, and in Figure 17 we show how they can be used to give labelled tableau systems for many basic modal logics including some symmetric logics