# Modal operator

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Review

2016

Review

2016

- Math. Log. Q.
- 2016

The concept of “negation as a modal operator” has been studied by some researchers; cf. [10] for a historical overview. Typical… (More)

Is this relevant?

2015

2015

- 2015

In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Theor. Comput. Sci.
- 2006

Modal Kleene algebras are Kleene algebras enriched by forward and backward box and diamond operators. We formalise the symmetries… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Artif. Intell.
- 2003

In this paper, we consider the influence of trust on the assimilation of acquired information into an agent’s belief. By use of… (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- Inf. Sci.
- 1998

This paper presents a framework for the formulation, interpretation, and comparison of neighborhood systems and rough set… (More)

Is this relevant?

1998

1998

- KR
- 1998

The paper considers the standard concept description language ALC augmented with various kinds of modal operators which can be… (More)

Is this relevant?

1995

1995

- IJCAI
- 1995

Terminological knowledge representation formalisms can be used to represent objective time independent facts about an application… (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- J. Symb. Log.
- 1992

We consider some modal languages with a modal operator D whose semantics is based on the relation of inequality. Basic logical… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Inf. Comput.
- 1991

The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified… (More)

Is this relevant?

1990

1990

- TARK
- 1990

A bilattice is a set equipped with two partial orders and a negation operation that inverts one of them while leaving the other… (More)

Is this relevant?