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
TL;DR: In this article, a logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded on Baer *-semigroups.
Abstract: In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded on Baer *-semigroups as in [20].
6 citations
01 Jan 2013
TL;DR: Two modal operators, and ◊, which are analogous to the modal logic operators necessity and possibility on intuitionistic fuzzy multisets �� and �� are defined and some theorems based on these operators are deduced and proved.
Abstract: In this paper, we extend the idea of modal operators to intuitionistic fuzzy multisets (IFMSs) since it is the extension of intuitionistic fuzzy sets. We defined two modal operators, and ◊, which are analogous to the modal logic operators necessity and possibility on intuitionistic fuzzy multisets �� and ��. We deduce and prove some theorems based on these operators.
6 citations
TL;DR: This work shall try to defend two non-standard views that run counter to two well-entrenched familiar views: the universal and existential quantifiers of first-order logic are not modal operators, and the quantifiers are extensional.
Abstract: We shall try to defend two non-standard views that run counter to two well-entrenched familiar views. The standard views are (1) the universal and existential quantifiers of first-order logic are not modal operators, and (2) the quantifiers are extensional. If that is correct then the counterclaims create genuine problems for some traditional philosophical doctrines.
6 citations
TL;DR: In this article, a logic to reason about a well-known model of opinion dynamics in social networks was introduced. But the model is not suitable for the analysis of large networks. And it is not a suitable model for the modeling of complex networks.
Abstract: This article introduces a logic to reason about a well-known model of opinion dynamics in social networks initially developed by Morris DeGroot as well as Keith Lehrer and Carl Wagner. The proposed logic is an extension of Łukasiewicz' fuzzy logic with additional equational expressivity, modal operators, machinery from hybrid logic and dynamic modalities. The model of opinion dynamics in social networks is simple enough to be easily grasped, but still complex enough to have interesting mathematical properties and applications. Thus, developing a logic to reason about this particular model serves as a paradigmatic example of how logic can be useful in social network analysis.
6 citations
15 Dec 2008
TL;DR: The main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help of Monatague-Scott semantics of modal logic.
Abstract: The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help of Monatague-Scott (MS) semantics of modal logic. In KA questions asked and answers collected are the central elements and knowledge notions will be defined from these (i.e., possible states of knowledge of subjects in a population with respect to a field of information).
6 citations