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.

Resource Splitting and Reintegration with Supplementals

Abstract: In this paper we survey the various ways of expressing modality in Urdu/Hindi and show that Urdu/Hindi modals provide interesting insights on current discussions of the semantics of modality. There are very few dedicated modals in Urdu/Hindi: most of which has been arrived at constructionally via a combination of a certain kind of verb with a certain kind of embedded verb form and a certain kind of case. Among the range of constructions yielded by such combinations, there is evidence for a two-place modal operator in addition to the one-place operator usually assumed in the literature. We also discuss instances of the Actuality Entailment, which had been shown to be sensitive to aspect, but in Urdu/Hindi appears to be sensitive to aspect only some of the time, depending on the type of modal verb. Indeed, following recent proposals by Ramchand (2011), we end up with a purely lexical account of modality and the Actuality Entailment, rather than the structural one put forward by Hacquard (2010).

Imperatives as Graded Modals

Abstract: This chapter offers an introduction to Kratzer’s treatment of modal expressions in possible worlds semantics. It spells out a logical form (LF) for imperative sentences that takes into account their aspectual, temporal, and modal properties and provides a compositional interpretation. In particular, it is argued that imperatives contain a covert expression of necessity. Special attention is devoted to the interaction between tense and modality, as well as to the status of imperative subjects, and to the question of whether the modal operator at stake combines with propositions or with properties (i.e., impersonal vs. personal modality).

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Abstract: In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” with the branching temporal logic operator “on all paths”. The latter operator is interpreted with respect to a version of the bundle semantics. In addition the temporal logic of knowledge (belief) contains an indexed set of unary modal operators “agent i knows” (“agent i believes”) and it contains the modality of common knowledge (belief). For these logics we present sequent calculi with a restricted cut rule. Thus, we get proof systems where proof-search becomes decidable. The soundness and completeness for these calculi are proved.

Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions

Abstract: We use a version of Statecharts to represent multiagent plans and transactions. Although epistemic and deontic logic are abstract and appropriate for specification, we argue that an agent must know that abstract modal properties apply to it and its collaborators. We develop a language that describes Statechart features but also expresses knowledge, common knowledge, and obligations. The hierarchical and concurrent structure of plans and transactions can hereby be exploited by modal logics.

Modal operators for meet-complemented lattices

Abstract: We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.