Topic
Modal operator
About: Modal operator is a research topic. Over the lifetime, 1151 publications have been published within this topic receiving 22865 citations. The topic is also known as: modal connective.
Papers published on a yearly basis
Papers
More filters
Posted Content•
TL;DR: This paper presents some very basics aspects of neutrosophic logic, in particular, exhibits the connectives of negation, conjunction and disjunction as found in [1], and checks some few properties and relationship between them.
Abstract: This paper presents some very basics aspects of neutrosophic logic, in particular, exhibits the connectives of negation, conjunction and disjunction as found in [1], and checks some few properties and relationship between them. Also, discusses other forms of negation and how under some aspects one careful choose may be necessary to ensure consistency. Moreover, touch on (briefly) modal operators.
1 citations
TL;DR: New modal operators over an extensional generalized interval valued intuitionistic fuzzy sets (GIV IFSBs) are proposed and some of the basic properties of the new operators are discussed and few theorems were proved.
Abstract: Interval valued intuitionistic fuzzy sets (IVIFSs) is widely used to model uncertainty, imprecise, incomplete and vague information. In this paper, newly defined modal operators over an extensional generalized interval valued intuitionistic fuzzy sets (GIV IFSBs) are proposed. Some of the basic properties of the new operators are discussed and few theorems were proved. The actual contribution in this paper is to discuss ten operators on GIV IFSBs. AMS Mathematics Subject Classification : 65H05, 65F10.
1 citations
01 Jan 2012
TL;DR: An operator is constructed which represents both operators □ from ( 4.1) and \(\diamondsuit\) from (4.2) and has no analogue in the ordinary modal logic, but the author hopes that the search for such an analogue in modal Logic will be interesting.
Abstract: Following [18, 19, 39], we construct an operator which represents both operators □ from (4.1) and \(\diamondsuit\) from (4.2). It has no analogue in the ordinary modal logic, but the author hopes that the search for such an analogue in modal logic will be interesting.
1 citations
01 Jul 2018
TL;DR: The action of modal operators is considered the necessity and possibility in order to verify the conditions under which the correlation coefficient preserve main properties related to Atanassov’s intuitionistic fuzzy sets.
Abstract: This paper aims to study the correlation between Atanassov’s intuitionistic fuzzy sets obtained as image of modal-level operators. We consider the action of modal operators the necessity and possibility in order to verify the conditions under which the correlation coefficient preserve main properties related to such fuzzy sets.
1 citations
01 Jan 2012
TL;DR: This chapter discusses logic-based formalism as descriptive notations that allow users to provide and analyze system models in terms of their properties and introduces probabilistic logic- based models that assign probabilities to events and can therefore express requirements on the probability of certain system evolutions to occur.
Abstract: In this chapter, we discuss logic-based formalism as descriptive notations that allow users to provide and analyze system models in terms of their properties. We discuss and compare various types of temporal logic with respect to their expressive power, their relation to transition systems, and the features of the assumed underlying time domain. We also present other logic-based formalisms that entertain an explicit notion of time without using the modal operators typical of temporal logics, and we introduce probabilistic logic-based models that assign probabilities to events and can therefore express requirements on the probability of certain system evolutions to occur. The chapter concludes with a brief review of the tools supporting the analysis techniques associated with the formalism.
1 citations