Some Remarks on the Model Theory of Epistemic Plausibility Models

Classical logics of knowledge and belief are usually interpreted on Kripke models, for which a mathematically well-developed model theory is available. However, such models are inadequate to capture dynamic phenomena. Therefore, epistemic plausibility models have been introduced. Because these are much richer structures than Kripke models, they do not straightforwardly inherit the model-theoretical results of modal logic. Therefore, while epistemic plausibility structures are well-suited for modeling purposes, an extensive investigation of their model theory has been lacking so far. The aim of the present paper is to fill exactly this gap, by initiating a systematic exploration of the model theory of epistemic plausibility models. Like in 'ordinary' modal logic, the focus will be on the notion of bisimulation. We define various notions of bisimulations (parametrized by a language L) and show that L-bisimilarity implies L-equivalence. We prove a Hennesy-Milner type result, and also two undefinability results. However, our main point is a negative one, viz. that bisimulations cannot straightforwardly be generalized to epistemic plausibility models if conditional belief is taken into account. We present two ways of coping with this issue: (i) adding a modality to the language, and (ii) putting extra constraints on the models. Finally, we make some remarks about the interaction between bisimulation and dynamic model changes.Comment: 19 pages, 3 figure

First comparison of French and Australian OsHV-1 µvars by bath exposure

Economically devastating mortality events of farmed and wild shellfish due to infectious disease have been reported globally. Currently, one of the most significant disease threats to Pacific oyster Crassostrea gigas culture is the ostreid herpesvirus 1 (OsHV-1), in particular the emerging OsHV-1 microvariant genotypes. OsHV-1 microvariants (OsHV-1 μvars) are spreading globally, and concern is high among growers in areas unaffected by OsHV-1. No study to date has compared the relative virulence among variants. We provide the first challenge study comparing survival of naïve juvenile Pacific oysters exposed to OsHV-1 μvars from Australia (AUS μvar) and France (FRA μvar). Oysters challenged with OsHV-1 μvars had low survival (2.5% exposed toAUS μvar and 10% to FRA μvar), and high viral copy number as compared to control oysters(100% survival and no virus detected). As our study was conducted in a quarantine facility located~320 km from the ocean, we also compared the virulence of OsHV-1 μvars using artificial seawater made from either facility tap water (3782 μmol kg−1seawater total alkalinity) or purchased distilled water (2003 μmol kg−1). Although no differences in survival or viral copy number were detected in oysters exposed to seawater made using tap or distilled water, more OsHV-1 was detected in tanks containing the lower-alkalinity seawater, indicating that water quality may be important for virus transmission, as it may influence the duration of viral viability outside of the hos

Finite Identification from the Viewpoint of Epistemic Update

Formal learning theory constitutes an attempt to describe and explain the phenomenon of learning, in particular of language acquisition. The considerations in this domain are also applicable in philosophy of science, where it can be interpreted as a description of the process of scientific inquiry. The theory focuses on various properties of the process of hypothesis change over time. Treating conjectures as informational states, we link the process of conjecture-change to epistemic update. We reconstruct and analyze the temporal aspect of learning in the context of dynamic and temporal logics of epistemic change. We first introduce the basic formal notions of learning theory and basic epistemic logic. We provide a translation of the components of learning scenarios into the domain of epistemic logic. Then, we propose a characterization of finite identifiability in an epistemic temporal language. In the end we discuss consequences and possible extensions of our work