1. Achilleos, A.: Modal Logics with Hard Diamond-free Fragments. CoRR
abs/1401.5846
(2014)
2. Achilleos, A.: Interactions and Complexity in Multi-Agent Justification Logic. Ph.D. thesis, The City University of New York (2015)
3. Artemov, S.: The logic of justification. Rev. Symbolic Logic 1(4), 477–513 (2008)
4. Chagrov, A.V., Rybakov, M.N.: How many variables does one need to prove PSPACE-hardness of modal logics. In: Advances in Modal Logic, pp. 71–82 (2002)
5. Agostino, M., Gabbay, D.M., Hähnle, R., Posegga, J. (eds.): Handbook of Tableau Methods. Springer, Heidelberg (1999)