scispace - formally typeset
Search or ask a question
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
More filters
Journal ArticleDOI
TL;DR: A novel approach to the semantics of quantified μ-calculi, which considers a sort of labeled transition systems called counterpart models as semantic domain, where states are algebras and transitions are defined by counterpart relations (a family of partial homomorphisms) between states.
Abstract: Quantified μ-calculi combine the fix-point and modal operators of temporal logics with (existential and universal) quantifiers, and they allow for reasoning about the possible behaviour of individual components within a software system. In this paper we introduce a novel approach to the semantics of such calculi: we consider a sort of labeled transition systems called counterpart models as semantic domain, where states are algebras and transitions are defined by counterpart relations (a family of partial homomorphisms) between states. Then, formulae are interpreted over sets of state assignments (families of partial substitutions, associating formula variables to state components). Our proposal allows us to model and reason about the creation and deletion of components, as well as the merging of components. Moreover, it avoids the limitations of existing approaches, usually enforcing restrictions of the transition relation: the resulting semantics is a streamlined and intuitively appealing one, yet it is general enough to cover most of the alternative proposals we are aware of. The paper is rounded up with some considerations about expressiveness and decidability aspects.

9 citations

Journal ArticleDOI
TL;DR: The empirical focus of the paper are Slovenian directive clauses (imperatives and subjunctives), but the analysis is shown to also have implications for analyses of other languages, as well as theories of directive clauses and the representation of discourse-related information in the syntax.
Abstract: The paper proposes a new type of control configuration: perspectival control. This involves control of a non-argument PRO that combines with a directive modal operator in the Mood domain. This PRO encodes the individual to whom the public commitments associated with the modal are anchored, and its presence can be detected in the syntax through a subject obviation effect. The empirical focus of the paper are Slovenian directive clauses (imperatives and subjunctives), but the analysis is shown to also have implications for analyses of other languages, as well as theories of directive clauses and the representation of discourse-related information in the syntax.

9 citations

Journal Article
TL;DR: It is argued that intention is not a normal modal operator, and another intention model is presented that doesn't have the logical omniscience problem and other related problems such as side effect problem, etc.
Abstract: Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational agents. There are several models of intention based on normal modal logic. But these theories suffer from the omniscience problem seriously. In this paper, the authors argue that intention is not a normal modal operator, and present another intention model. It doesn't have the logical omniscience problem and other related problems such as side effect problem, etc. Compared with Konolige and Pollack's model of intention, this model not only is simpler and more natural, but also satisfies the K axiom and the Joint Consistency. Actually it gives a new method for semantic representation of non normal modal operators based on normal possible worlds.

9 citations

Journal ArticleDOI
01 Jan 2016
TL;DR: This paper raises some questions about the adequacy of applying Construction Grammar (Goldberg 1995, 2006) as a method of analysis of expressions containing modal verbs.
Abstract: When speakers are confronted with modal expressions in their native language, specifically those that contain a modal verb, they are able to interpret these expressions as epistemic or non-epistemic, for example. But what enables the speakers to interpret these modal expressions instantly and accurately despite the inevitably complex explanation any linguistic theory needs to evoke to account for this? Modality, modals, and modal interpretations are among those universal tension points where the explanatory value of any theoretical construct is sorely tested. This paper raises some questions about the adequacy of applying Construction Grammar (Goldberg 1995, 2006) as a method of analysis of expressions containing modal verbs. In particular, the following issues are discussed: (i) the necessity to postulate a great number of constructions to account for a modal utterance, (ii) the theoretically unrestricted scope of a construction, and (iii) the ever-present problem of indeterminate modal utterances.

9 citations

Journal Article
TL;DR: In this paper, the authors present a new proposal to include knowledge producing actions into the successor state axioms, which does not make use of plausibilities, but does not require the knowledge to be public.
Abstract: The Situation Calculus has been used by Scher1 and Levesque to represent beliefs and belief change without modal operators thanks to a predicate plays the role of an accessibility relation. Their approach has been extended by Shapiro et al. to support belief revision. In this extension plausibility levels are assigned to each situation, and the believed propositions are the propositions that are true in all the most plausible accessible situations. Their solution is quite elegant from a theoretical point of view but the definition of the plausibility assignment, for a given application domain, raises practical problems. This paper presents a new proposal that does not make use of plausibilities. The idea is to include the knowledge producing actions into the successor state axioms. In this framework each agent may have a different successor state axiom for a given fluent. Then, each agent may have his subjective view of the evolution of the world. Also, agents may know or may not know that a given action has been performed. That is, the actions are not necessarily public.

9 citations


Network Information
Related Topics (5)
Description logic
8.7K papers, 232.7K citations
86% related
Axiom
11K papers, 257.9K citations
83% related
Logic programming
11.1K papers, 274.2K citations
83% related
Absorption (logic)
5.7K papers, 236.3K citations
82% related
Type (model theory)
38.9K papers, 670.5K citations
81% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202316
202222
202138
202035
201946
201844