A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Immunology of multiple sclerosis

Multiple sclerosis (MS) is an autoimmune disease of the central nervous system (CNS) leading to demyelination, axonal damage, and progressive neurologic disability. The development of MS is influenced by environmental factors, particularly the Epstein-Barr virus (EBV), and genetic factors, which include specific HLA types, particularly DRB1*1501-DQA1*0102-DQB1*0602, and a predisposition to autoimmunity in general. MS patients have increased circulating T-cell and antibody reactivity to myelin proteins and gangliosides. It is proposed that the role of EBV is to infect autoreactive B cells that then seed the CNS and promote the survival of autoreactive T cells there. It is also proposed that the clinical attacks of relapsing-remitting MS are orchestrated by myelin-reactive T cells entering the white matter of the CNS from the blood, and that the progressive disability in primary and secondary progressive MS is caused by the action of autoantibodies produced in the CNS by ­meningeal lymphoid follicles with germinal centers.

HLA class II antigens positively and negatively associated with hepatosplenic schistosomiasis in a Chinese population

To identify possible associations between host genetic factors and the onset of liver fibrosis following Schistosoma japonicum infection, the major histocompatibility class II alleles of 84 individuals living on an island (Jishan) endemic for schistosomiasis japonica in the Poyang Lake Region of Southern China were determined. Forty patients exhibiting advanced schistosomiasis, characterised by extensive liver fibrosis, and 44 age and sex-matched control subjects were assessed for the class II haplotypes HLA-DRBI and HLA-DQB1. Two HLA-DRB1 alleles, HLA-DRB1*0901 (P = 0.012) and *1302 (P = 0.039), and two HLA-DQB1 alleles, HLA-DQB1*0303 (P = 0.012) and *0609 (P = 0.037), were found to be significantly associated with susceptibility to fibrosis. These associated DRB1 and DQB1 alleles are in very strong linkage disequilibrium, with DRB1*0901-DQB1*0303 and DRB1*1302-DQB1*0609 found as: common haplotypes in this population. In contrast, the alleles HLA-DRB1*1501 (P = 0.025) and HLA-DQB 1*0601 (P = 0.022) were found to be associated with resistance to hepatosplenic disease. Moreover, the alleles DQB1*0303 and DRB1*0901 did not increase susceptibility in the presence of DQB1*0601, indicating that DQB1*0601 is dominant over DQB1*0303 and DRB1*0901. The study has thus identified both positive and negative associations between HLA class II alleles and the risk of individuals developing moderate to severe liver fibrosis following schistosome infection. (C) 2001 Australian Society for Parasitology Inc. Published by Elsevier Science Ltd. All rights reserved.

Voluntary disclosure of forward-looking earnings forecasts in Australia

This study examines the voluntary disclosure of future earnings information in annual reports for Australian listed companies. We find that most Australian companies in our sample do not provide quantitative earnings, forecasts in their annual reports, although more than half of the sample do disclose forward-looking information relating to earnings, without specifically disclosing point estimates for the future. These companies mostly supply qualitative information with a positive bias, while the remainder of the sample discloses no forward-looking information relating to earnings. Our findings also suggest that larger companies with less volatile earnings tend to provide more future earnings information than smaller companies with relatively volatile earnings.