1. Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM TOPLAS 15(4), 706–734 (1993)
2. Baskar, A., Naldurg, P., Raghavendra, K.R., Suresh, S.P.: Primal infon logic: derivability in polynomial time. In: FSTTCS 2013, LIPIcs, vol. 24, pp. 163–174 (2013)
3. Lecture Notes in Computer Science;A Baskar,2010
4. Beklemishev, L.D., Gurevich, Y.: Propositional primal logic with disjunction. J. Log. Comp. 24(1), 257–282 (2014)
5. Chagrov, A., Zakharyaschev, M.: Modal Logic. Clarendon Press, Oxford (1997)