scholarly journals First steps towards probabilistic justification logic

2015 ◽  
Vol 23 (4) ◽  
pp. 662-687 ◽  
Author(s):  
Ioannis Kokkinis ◽  
Petar Maksimović ◽  
Zoran Ognjanović ◽  
Thomas Studer
Keyword(s):  
Justification Logic ◽  
Probabilistic Justification

scholarly journals Probabilistic justification logic

2020 ◽  
Vol 30 (1) ◽  
pp. 257-280
Author(s):  
Ioannis Kokkinis ◽  
Zoran Ognjanović ◽  
Thomas Studer
Keyword(s):  
Rational Belief ◽  
Satisfiability Problem ◽  
Uncertain Reasoning ◽  
Justification Logic ◽  
Lottery Paradox ◽  
Degrees Of Belief ◽  
Strong Completeness ◽  
Probabilistic Justification ◽  
Insight Into

Abstract We present a probabilistic justification logic, $\mathsf{PPJ}$, as a framework for uncertain reasoning about rational belief, degrees of belief and justifications. We establish soundness and strong completeness for $\mathsf{PPJ}$ with respect to the class of so-called measurable Kripke-like models and show that the satisfiability problem is decidable. We discuss how $\mathsf{PPJ}$ provides insight into the well-known lottery paradox.

Inclusion of Aircraft Crash into NPP Design Bases and Probabilistic Justification of Loads on Civil Structures and Equipment

2020 ◽  
pp. 35-47
Author(s):  
Nikita Chernukha
Keyword(s):  
Nuclear Power ◽  
Response Spectra ◽  
Mechanical Action ◽  
Exceedance Probability ◽  
Civil Structures ◽  
Method Of Calculation ◽  
Floor Response Spectra ◽  
Aircraft Trajectory ◽  
Probabilistic Justification ◽  
Aircraft Crash

The article is about nuclear power plant (NPP) safety analysis in case of aircraft crash. Specifically, the article considers the following problems: inclusion of aircraft crash into NPP design bases regarding calculation of frequency of an aircraft crash into NPP; aspects of justification of loads on NPP structures, systems and components (SSCs) caused by mechanical action of a primary missile – aircraft fuselage impact. Probabilistic characteristics of such random parameters as frequency of aircraft crash and direction of aircraft trajectory are determined by the results of analysis of world statistics of aviation accidents. Method of calculation of aircraft crash frequency on structures, buildings and NPP as a whole is presented. It takes into account options of accidental and intentional aircraft crashes and various aircraft approach scenarios. Procedure of probabilistic justification of loads on civil structures under aircraft impact is described. The loads are specified so as not to exceed allowable value of failure probability of NPP as a whole. Calculation of failure frequency of civil structures of existing NPP is given as an example to show analysis in case of a crash of an aircraft heavier than considered in NPP design. Procedure of probabilistic justification of dynamic loads on NPP equipment in case of aircraft impact is described. Method of floor response spectra (FRS) calculation with the required non-exceedance probability is given. Probabilistically justified loads in case of intentional aircraft impact (act of terrorism) are also considered. Additionally it is presented how internal forces calculated with the use of FRS with the required non-exceedance probability can be summed to provide analysis of subsystems.

scholarly journals A Conflict Tolerant Logic of Explicit Evidence

2021 ◽  
Vol 27 (1) ◽  
pp. 124-144
Author(s):  
Thomas Studer
Keyword(s):  
Modal Logic ◽  
Quantum Physics ◽  
Thought Experiment ◽  
The Other ◽  
Justification Logic ◽  
Epistemic Modal ◽  
Epistemic Reasoning ◽  
Basic Properties

Standard epistemic modal logic is unable to adequately deal with the FrauchigerRenner paradox in quantum physics. We introduce a novel justification logic CTJ, in which the paradox can be formalized without leading to an inconsistency. Still CTJ is strong enough to model traditional epistemic reasoning. Our logic tolerates two different pieces of evidence such that one piece justifies a proposition and the other piece justifies the negation of that proposition. However, our logic disallows one piece of evidence to justify both a proposition and its negation. We present syntax and semantics for CTJ and discuss its basic properties. Then we give an example of epistemic reasoning in CTJ that illustrates how the different principles of CTJ interact. We continue with the formalization of the Frauchiger–Renner thought experiment and discuss it in detail. Further, we add a trust axiom to CTJ and again discuss epistemic reasoning and the paradox in this extended setting.

Sign in / Sign up

Export Citation Format

Share Document