The logic S4LP combines the modal logic S4 with the justification logic LP. This is the case both axiomatically and semantically, though of course the real story is in the details. We introduce a simple restriction on the behavior of constants in S4LP, a restriction that has no effect on the LP sublogic. With this assumed, some very powerful derived rules are established. Then these are used to...

We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects. We introduce a new modal operator, namely [o | α], which allows us to capture the notion of perceiving an observation given that an action has taken place. Formulae of the type [o | α]φ mean ‘after perceiving observation o, given α was performed, necessa...

In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents’ strategies. We provide a semantics to ESL in terms of epistemic concurrent game models, and consider the corresponding model ...

ions are relations between propositions, in which one is more abstract or general than another, let a be making a spaghetti-marinara dinner, and b be making a spaghetti dinner. In every possible world it is the case that a D b, so an intention to do a necessarily implies an intention to do b, if they are treated as normal modal operators. Normal modal operators are never abstraction free, but a...

In [4], Majer and Pelǐs proposed a relevant logic for epistemic agents, providing a novel extension of the relevant logic R with a distinctive epistemic modality K, which is at the one and the same time factive (Kφ → φ is a theorem) and an existential normal modal operator (K(φ ∨ ψ) → (Kφ ∨ Kψ) is also a theorem). The intended interpretation is that Kφ holds (relative to a situation s) if there...

This paper describes the approach followed in the design of a service robot for health care applications. Under the auspices of the NASA Technology Transfer Program, a partnership was established between JPL and RWI, a manufacturer of mobile robots, to design and evaluate a mobile robot for health care assistance to the elderly and the handicapped. The activities of the rst phase of the project...

The term ‘actuality entailment’ was coined by Rajesh Bhatt in his 1999 dissertation to describe the implicative inference that arises when ability modals combine with perfective aspect. This article investigates the nature of this inference and the contributions of aspect and modality, by surveying the environments in which it is found. Prior to Bhatt’s dissertation, the literatures on aspect a...

It has been recognised that the expressivity of description logics benefits from the introduction of non-standard modal operators beyond existential and number restrictions. Such operators support notions such as uncertainty, defaults, agency, obligation, or evidence, whose semantics often lies outside the realm of relational structures. Coalgebraic hybrid logic serves as a unified setting for ...

In this paper we generalize the Apostoli-Brown strategy developed in 1] to show the completeness of a descending chain of weak aggregative modal logics with multi-ary modal operators. The logics presented here are generalization of the weak aggregative unary modal logics developed by Jennings and Schotch in the 80's.

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut e...