Add to ORKGWe 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.Lecture Notes in Computer Science book series (LNAI, vol. 7639)Facultad de Informátic
We present a number of modal logics to reason about group norms. As a preliminary step, we discuss t...
ABSTRACT. We investigate a series of logics that allow to reason about agents ’ actions, abilities, ...
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary...
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...
International audienceWe propose in this paper a modal logic to reason on the trust of an agent towa...
Kracht M, Wolter F. Normal modal logics can simulate all others. Journal of Symbolic Logic. 1999;64:...
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...
To develop theories to specify and reason about various aspects of multi-agent systems, many researc...
In this work, we provide a logical characterization of trust, which is based on a modal logic expres...
AbstractIn this paper, we consider the influence of trust on the assimilation of acquired informatio...
This chapter analyzes the development of modal logic within the research framework formulated for a ...
We present a number of modal logics to reason about group norms. As a preliminary step, we discuss t...
ABSTRACT. We investigate a series of logics that allow to reason about agents ’ actions, abilities, ...
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary...
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...
International audienceWe propose in this paper a modal logic to reason on the trust of an agent towa...
Kracht M, Wolter F. Normal modal logics can simulate all others. Journal of Symbolic Logic. 1999;64:...
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...
To develop theories to specify and reason about various aspects of multi-agent systems, many researc...
In this work, we provide a logical characterization of trust, which is based on a modal logic expres...
AbstractIn this paper, we consider the influence of trust on the assimilation of acquired informatio...
This chapter analyzes the development of modal logic within the research framework formulated for a ...
We present a number of modal logics to reason about group norms. As a preliminary step, we discuss t...
ABSTRACT. We investigate a series of logics that allow to reason about agents ’ actions, abilities, ...
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary...