Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covere...

We develop the theory of stable modal logics, a class of modal logics introduced in [3]. We give several new characterizations of stable modal logics, and show that there are continuum many such. Since some basic modal systems such as K4 and S4 are not stable, for a modal logic L, we introduce the concept of an L-stable extension of L. We prove that there are continuum many S4-stable modal logi...

We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quantifiers. These logics are refered to as the idempotent transduction logics and are defined using the programs of propositional dynamic logic including converse and tests. This is a nontrivial extension of the decidability of the pos...

Abstract To date, customer education has been framed in terms of one-way information provision, at odds with much the literature on meaning co-creation. Drawing an ethnography a specialty coffee purveyor, we show how staff and consumers co-create educational consumer journeys through deployment seven practices: auditing, realignment, marrying competing logics, negotiating scripts, evangelizing,...

Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system behaviour. We propose a general theory for th...

avicenna has divided the conditionals to the real cogent (i.e. with possible antecedent) and the verbal cogent (i.e. with the impossible antecedent). denying the truth of the latter, he caused controversies among moslem logicians. at the paper, we report the controversies, analyze the real and verbal cogent conditionals, formalize them in modern modal and relevant logics, and finally, defend id...

Increased economic power has positioned China within the global elite, yet China’s legitimacy remains low with regard to hierarchies of taste. Drawing from Bourdieu and Elias, the paper offers an account of the global dynamics of status contests, and the role played by cultural capital and notions of civility and vulgarity. Specifically, we examine how U.S., UK and Chinese media represent Chine...

Actors who support dissimilar institutional models can overcome conflict and move toward mutually beneficial coexistence. To see how, we studied the emergence of venture philanthropy, a rationalized approach to organizational philanthropy in Europe. Our analysis leverages multiple sources of data and focuses on field-configuring events as settings for interactions. We show how convening—bringin...

This article reinterprets algorithmic rationality by looking at the interaction between mathematical logic, mechanized reasoning, and, later, computing in Russian Imperial and Soviet contexts to offer a history of algorithm as object bridging inner outer worlds, humanistic vision that we, following logician Vladimir Uspensky, call “culture impossible.” We unfold deep roots this embodied scienti...

A b s t r a c t. The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene's logics (strong, weak, intermediate) and it's extensions by adding an implicative connectives (" natural " implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics. In this paper...