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
In this work, we provide a logical characterization of trust, which is based on a modal logic expres...
To develop theories to specify and reason about various aspects of multi-agent systems, many researc...
In this paper we analyze the notion of collective trust within a multi-modal setting. We argue that ...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We provide technical details for both a fibring and an independent combination of normal and a non-n...
Kracht M, Wolter F. Normal modal logics can simulate all others. Journal of Symbolic Logic. 1999;64:...
International audienceWe propose in this paper a modal logic to reason on the trust of an agent towa...
Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a c...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...
This paper shows that non–normal modal logics can be simulated by certain polymodal normal logics an...
none2noA number of significant contributions in the last four decades show that non-normal modal log...
We present a number of modal logics to reason about group norms. As a preliminary step, we discuss t...
AbstractIn this paper, we consider the influence of trust on the assimilation of acquired informatio...
ABSTRACT. We investigate a series of logics that allow to reason about agents ’ actions, abilities, ...
In this work, we provide a logical characterization of trust, which is based on a modal logic expres...
To develop theories to specify and reason about various aspects of multi-agent systems, many researc...
In this paper we analyze the notion of collective trust within a multi-modal setting. We argue that ...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We provide technical details for both a fibring and an independent combination of normal and a non-n...
Kracht M, Wolter F. Normal modal logics can simulate all others. Journal of Symbolic Logic. 1999;64:...
International audienceWe propose in this paper a modal logic to reason on the trust of an agent towa...
Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a c...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...
This paper shows that non–normal modal logics can be simulated by certain polymodal normal logics an...
none2noA number of significant contributions in the last four decades show that non-normal modal log...
We present a number of modal logics to reason about group norms. As a preliminary step, we discuss t...
AbstractIn this paper, we consider the influence of trust on the assimilation of acquired informatio...
ABSTRACT. We investigate a series of logics that allow to reason about agents ’ actions, abilities, ...
In this work, we provide a logical characterization of trust, which is based on a modal logic expres...
To develop theories to specify and reason about various aspects of multi-agent systems, many researc...
In this paper we analyze the notion of collective trust within a multi-modal setting. We argue that ...
DOI
Add to ORKG