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.

중간구문의 구조와 성향성

Abstract: This paper presents an analysis that middles are dispositionals containing a covert dynamic possibility modal with a [+Cause] feature. This analysis naturally explains the following middle properties: First, an internal argument of the middle verbs appears in the subject position because it is ascribed a dispositional property and the subject position is assigned the Cause ?-role by the covert possibility modal operator. The responsibility reading is also accounted for by the Cause ?-role assigned to the subject position. Genericity follows from the fact that middles are dispositionals. Modifiers which specify an event-property are needed to provide the nuclear scope for the generic operator which lexically binds the event and agent argument of the verb.

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses

Abstract: We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions. The modal operator can be described as relative necessity and the resulting logic turns out to be a variant of Chellas’ Conditional Logic. We present an axiomatization of the logic and its extension with the common knowledge operator and distributed knowledge operator. We show that the logics are decidable, complete w.r.t. Kripke as well as topological structures. The topological completeness results are obtained by utilizing the Alexandroi¬€ connection between preorders and Alexandroi¬€ spaces.

On Multiagent Autoepistemic Logic - an extrospective view

Abstract: Moore's autoepistemic logic was only introduced for a single agent Reiter considered the task much harder to extend the logic to multiagents Morgenstern argued that multiagent autoepistemic reasoning is not at all symmetric with the single agent autoepistemic reasoning In this paper however, we shall argue for an extrospective view of multiagent autoepistemic reasoning that is symmetric between the single agent setting and the multiagent setting In particular, we will present a multiagent generalization of McDermott and Doyle's general autoepistemic logical framework Unlike Morgenstern's introspective view which extends Moore's belief operator L to a multiagent setting by indexing the operator with an agent, eg LJohnP, the proposed extrospective view combines Moore's L operator with a multiagent monotonic epistemic logic, eg L Bel(John,p) We shall present two approaches based on the extrospective view of multiagent autoepistemic reasoning The first approach simply replaces the “base” logic of Moore's autoepistemic logic by an epistemic logic The second approach allows autoepistemic reasoning within the scope of any nested monotonic epistemic modal operators On the surface, the two approaches seem to be very different A closer examination reveals surprizingly that they are essentially equivalent This suggests that single-agent autoepistemic reasoning and its proof mechanization are in fact readily extendible to multiagents In particular, we shall show that the extrospective approaches subsume Morgenstern's formulation including its various principles of arrogance Keywords: Knowledge Representation, Autoepistemic Logic, Epistemic Logic and Multiagent Nonmonotonic Reasoning

On the Adequacy of Modal Logic

Abstract: McCarthy has argued that modal logic is too limited for various purposes I consider the extent to which he is right