A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator Δ but without the necessity operator □. This logic is not a normal modal logic, because Δ(φ → ψ) → (Δφ → Δψ) is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap.
During 2001–2011, hepatitis E virus (HEV) was found in the blood of patients in Nanjing, China. All HEV-positive patients had virus genotype 4; subgenotype 4a was predominant. The effective population of HEV in Nanjing increased in ≈1980 and continued until ≈2003 when it plateaued.
Lacustrine environment responses to human activities in the past 300 years in Longgan Lake catchment, southeast China Science in China Series D-Earth Sciences 45, 709 (2002); Natural and human-induced changes in summer climate over the East Asian monsoon region in the last half century: A review Advances in Climate Change Research 6, 131 (2015);A study of the breakdown of wood of conifers submerged for over half a century in a reservoir
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.