A modal logic framework defines Kp for certification-level assurance and Bp for action-guiding commitment, diagnosing cases where risks exist but lack appropriate stances via p∧¬Kp and p∧¬Bp.
Gerbrandy.Bisimulations on Planet Kripke
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
q-fin.RM 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The Epistemic Risk of Risk: A Modal Framework for Quantitative Risk Management
A modal logic framework defines Kp for certification-level assurance and Bp for action-guiding commitment, diagnosing cases where risks exist but lack appropriate stances via p∧¬Kp and p∧¬Bp.