2 Abstract. This paper proposes a framework for formalising intuitions about the be3 haviour of imperative commands. It seeks to capture notions of satisfaction and coherence. 4 Rules are proposed to express key aspects of the general logical behaviour of imperative 5 constructions. A key objective is for the framework to allow patterns of behaviour to 6 be described while avoiding making any c...

An imperative clause is understood as a construction in which the subject commonly filled by second person but it licitly dropped and verb that co-occurs with realized basic form Indonesian. active clause, on other hand, contains an obligatory subject, inflected meN verbal prefix, object makes sentence readily transformed into its passive counterpart. Given characteristic contrasts between Indo...

The article analyzes the specifics of formation “green agenda” in modern Russia context state environmental policy. It is indicated that this agenda beginning to occupy an increasingly significant place political discourse Russian society. noted Federation has developed regulatory and conceptual-strategic foundations for implementation a long-term balanced model However, today policy implemente...

The article addresses framework conditions and imperatives created by COVID-19 for tourism sector with the aim to prioritise concept of destination resilience. Resilience-oriented market is described within fields that affect strategic positioning product policy destinations. introduces a conceptual integrative model resilience elaborated in context post-COVID19 conditions. proposed directions ...

Seemingly since the inception of virtual humans, there has been an effort to make their behaviors more natural and more humanlike. In additions to work on improving movement quality, there has been considerable research focused on creating more intelligent virtual characters. This paper presents a framework inspired by natural language constructs that aims to author more reasonable virtual huma...

This article surveys a range of current views on the semantics of imperatives, presenting them as more or less conservative with respect to the Truth-Conditional Paradigm in semantics. It describes and critiques views at either extreme of this spectrum: accounts on which the meaning of an imperative is a modal truth-condition, as well as various accounts that attempt to explain imperative meani...

Our focus is on the specification and verification of normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its model checker, we show how Linear Temporal Logic properties can be verified, and provide some experimental results.