Intuitionistic Fuzzy Modal Operator was defined by Atanassov in cite{at3}in 1999. In 2001, cite{at4}, he introduced the generalization of thesemodal operators. After this study, in 2004, Dencheva cite{dencheva} definedsecond extension of these operators. In 2006, the third extension of thesewas defined in cite{at6} by Atanassov. In 2007,cite{gc1}, the authorintroduced a new operator over Intuit...

We present a methodology for the verification of multi-agent systems, whose properties are specified by means of a modal logic that includes a temporal, an epistemic, and a modal operator to reason about correct behaviour of agents. The verification technique relies on model checking via ordered binary decision diagrams. We present an implementation and report on experimental results for two sc...

Stit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so. The purpose of this paper is to enrich stit semantics, and especially epistemic stit semantics, by supplementing the overall framework with ...

The aim of this paper is to provide a logical analysis of the concept of responsibility attribution; that is, how agents ascribe responsibility about the consequences of actions, either to themselves or to other agents. The paper is divided in two parts. The first part investigates the importance of the concept of responsibility attribution for emotion theory in general and, in particular, for ...

We present sound and complete prefixed tableaux systems for various modal logics with enriched languages including the "difference" modal operator ] and the "only if" modal operator [—R]. These logics are of special interest in Art i f icial Intelligence since their expressive power is higher than the standard modal logics and for most of them the satisfiability problem remains decidable. We al...

In this paper, we give formal analyses of notions of fraud for the aim of verification of trade procedures. A fraud possibility is seen as an undesirable property of a trade procedure which its specification should not satisfy. It is argued that fraud may occur (in a trade procedure) when an agent violates an obligation and he/she also deceives another agent (a controller) about the fulfilment ...

We study the relative succinctness and expressiveness of modal logics, and prove that these relationships can be as complex as any countable partial order. For this, we use two uniform formalisms to define modal operators, and obtain results on succinctness and expressiveness in these two settings. Our proofs are based on formula size games introduced by Adler and Immerman and bisimulations.

In this paper several systems of modal logic based on four-valued matrices are presented. We start with pure modal logics, i.e. modal logics with modal operators as the only operators, using the Polish framework of structural consequence relation. We show that with a four-valued matrix we can define modal operators which have the same behavior as in pure S5 (S5 with only modal operators). We th...

We investigate a simple modal logic of probability with a unary modal operator expressing that a proposition is more probable than its negation. Such an operator is not closed under conjunction, and its modal logic is therefore non-normal. Within this framework we study the relation of probability with other modal concepts: belief and action.

This paper is concerned with the determination of optimal sensor locations for structural modal identification in a strap-braced cold formed steel frame based on an improved genetic algorithm (IGA). Six different optimal sensor placement performance indices have been taken as the fitness functions two based on modal assurance criterion (MAC), two based on maximization of the determinant of a Fi...