نتایج جستجو برای: sound is logical

تعداد نتایج: 7280604  

2010
Miloš Milošević Žarko Mijajlović

We present the p-adic probability logic LpPP based on the paper [5] by A. Khrennikov et al. The logical language contains formulas such as P=s(α) with the intended meaning “the probability of α is equal to s", where α is a propositional formula. We introduce a class of Kripke-like models that combine properties of the usual Kripke models and finitely additive p-adic probabilities. We propose an...

Journal: :The Journal of the Acoustical Society of America 2016

Journal: :The Philosophical Review 2020

Journal: :School Science and Mathematics 1906

ژورنال: اقیانوس شناسی 2022

Background and Objectives: Influence of water mass on sound propagation in the Gulf of Aden underwater acoustics used for communication, navigation and identification of objects by both humans and marine mammals and for investigating the detrimental effects of anthropogenic activities (e.g. pile driving, seismic survey and ships) on marine animals. The Gulf of Aden presents a unique ecosystem t...

1996
Roberto M. Amadio Mads Dam

We study the problem of specifying and verifying properties of -calculus processes while relying on a bisimulation semantics. As our property speci cation language we use a version of the modal -calculus adapted to the -calculus. We show that the logical language is su ciently expressive to characterize by means of a nite formula a process up to any approximation of the bisimulation relation. W...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید