We provide technical details for combining normal and a non-normal logics for the notion of collective trust. Such combinations lead to different levels of expressiveness of the system. We give a possible structure for a combined model checker for one of the logic resulting from such combinations. © 2012 Springer-Verlag.
CITATION STYLE
Smith, C., Ambrossio, A., Mendoza, L., & Rotolo, A. (2012). Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7639 LNAI, pp. 189–203). https://doi.org/10.1007/978-3-642-35731-2_13
Mendeley helps you to discover research relevant for your work.