Decidability for some justification logics with negative introspection

Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.

An exploratory study about the perception and justification of violence in Mixed Martial Arts and kickboxing athletes

THE INFLUENCE of combat sport practice on behaviour, attitude, personality and other factors was, and still remains, a research topic of great interest as well as conflicting points of view. Findings are as yet inconclusive since a direct or causal effect is difficult to establish and other factors external to the individual, such as the instructor’s coaching style, also need to be taken into consideration. Furthermore, the wide range of disciplines pertaining to the category combat sports differ from each other on a number of characteristics, such as the extent of physical contact or competition rules, and in fact, attempts have been made to distinguish between various sub-types (e.g. Trulson, 1986). A common distinction made is that between the traditional martial arts, which place emphasis on the art’s philosophy, its traditions and hierarchy (e.g. traditional karate, aikido) and the modern (or Western) combat sports (e.g. boxing, Mixed Martial Arts). An ongoing debate exists about the potential positive and/or negative influence of combat sport practice in comparison to other sport disciplines that do not include this element of fighting and direct aggression. On the one hand, combat sports have been presented by some researchers and sport practitioners as a means of promoting positive social and individual behavior, such as in Theeboom, De Knop and Wylleman’s (2008) evaluation of a martial arts Programme for socially disadvantaged youths in Belgium. Results revealed a positive effect of this project; however, it also highlighted the crucial role played by the instructors or leaders of such programmes. In another intervention using martial arts, Trulson (1986) reported a positive effect of a six month traditional martial art (Korean Tae Kwon Do) intervention with male juvenile delinquents including a reduction in aggressiveness and anxiety, thus confirming the positive influence of such an activity. Nevertheless, this effect was not observed in the other group participating in a modern Adaptation of this martial art led by the same instructor, where the philosophical aspect of this discipline was not emphasised. Moreover, an opposite effect was ascertained in this case where an increased tendency towards delinquency was reported. These results support the distinction between the various types of combat sports together with the way this sport is presented and taught by the instructor.

First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Justification of Data Warehousing Projects

Project justification is regarded as one of the major methodological deficits in Data Warehousing practice. As reasons for applying inappropriate methods, performing incomplete evaluations, or even entirely omitting justifications, the special nature of Data Warehousing benefits and the large portion of infrastructure-related activities are stated. In this paper, the economic justification of Data Warehousing projects is analyzed, and first results from a large academiaindustry collaboration project in the field of non-technical issues of Data Warehousing are presented. As conceptual foundations, the role of the Data Warehouse system in corporate application architectures is analyzed, and the specific properties of Data Warehousing projects are discussed. Based on an applicability analysis of traditional approaches to economic IT project justification, basic steps and responsibilities for the justification of Data Warehousing projects are derived.

The Complexity of Non-Iterated Probabilistic Justification Logic

The logic PJ is a probabilistic logic defined by adding (noniterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic PJ. The main result of the paper is that the complexity of the derivability problem in PJ remains the same as the complexity of the derivability problem in the underlying logic J, which is π[p/2] -complete. This implies that the probability operators do not increase the complexity of the logic, although they arguably enrich the expressiveness of the language.

Probabilistic Justification Logic

We present a probabilistic justification logic, PPJ, to study rational belief, degrees of belief and justifications. We establish soundness and completeness for PPJ and show that its satisfiability problem is decidable. In the last part we use PPJ to provide a solution to the lottery paradox.

La justification des atteintes aux libertés de circulation : cadre méthodologique et spécificités matérielles = Justification of attacks on freedom of movement: methodological framework and specific hardware. Research Paper in Law 01/2013

No abstract.

The justification of God : lectures for war-time on a Christian theodicy /

Mode of access: Internet.

Lectures on justification /

At least two states of the t.p. exist: in the first, Newman's titles are Vicar of St. Mary the Virgin's, and Fellow of Oriel College, Oxford, and there is no printer's imprint on the verso; in the second, the order of the titles is reversed, and there is a printer's imprint on the verso.

Justification des prétendus Jansenistes, ou Phantôme du Jansenisme : contre un ecrit intitulé Prejugés legitimes contre le Jansenisme.

Mode of access: Internet.