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.
C. Smith, A. Ambrossio, L. Mendoza, A. Rotolo (2012). Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS. BERLIN : Springer [10.1007/978-3-642-35731-2_13].
Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS
ROTOLO, ANTONINO
2012
Abstract
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
