Modal operator

Known as: Modal connective 
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
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
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
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
In this paper, we consider the influence of trust on the assimilation of acquired information into an agent’s belief. By use of… (More)
  • figure 1
  • figure A.1
  • figure A.4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
This paper presents a framework for the formulation, interpretation, and comparison of neighborhood systems and rough set… (More)
  • table 1
  • table 2
  • figure 1
Is this relevant?
1998
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
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
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
The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified… (More)
  • table 1
  • table 2
  • table 3
  • table 5
  • table 6
Is this relevant?
1990
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)
  • figure 1
Is this relevant?