4 research outputs found
Crisp bi-G\"{o}del modal logic and its paraconsistent expansion
In this paper, we provide a Hilbert-style axiomatisation for the crisp
bi-G\"{o}del modal logic \KbiG. We prove its completeness w.r.t.\ crisp
Kripke models where formulas at each state are evaluated over the standard
bi-G\"{o}del algebra on . We also consider a paraconsistent expansion of
\KbiG with a De Morgan negation which we dub \KGsquare. We devise a
Hilbert-style calculus for this logic and, as a~con\-se\-quence of
a~conservative translation from \KbiG to \KGsquare, prove its completeness
w.r.t.\ crisp Kripke models with two valuations over connected via
.
For these two logics, we establish that their decidability and validity are
-complete.
We also study the semantical properties of \KbiG and \KGsquare. In
particular, we show that Glivenko theorem holds only in finitely branching
frames. We also explore the classes of formulas that define the same classes of
frames both in (the classical modal logic) and the crisp G\"{o}del
modal logic \KG^c. We show that, among others, all Sahlqvist formulas and all
formulas where and are monotone, define the
same classes of frames in and \KG^c
Safety and Reliability - Safe Societies in a Changing World
The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management
- mathematical methods in reliability and safety
- risk assessment
- risk management
- system reliability
- uncertainty analysis
- digitalization and big data
- prognostics and system health management
- occupational safety
- accident and incident modeling
- maintenance modeling and applications
- simulation for safety and reliability analysis
- dynamic risk and barrier management
- organizational factors and safety culture
- human factors and human reliability
- resilience engineering
- structural reliability
- natural hazards
- security
- economic analysis in risk managemen