GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS

DOI10.1080/03081079608945125zbMath0845.03003OpenAlexW2066032566MaRDI QIDQ4878147

Petr Hájek

Publication date: 22 May 1996

Published in: International Journal of General Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/03081079608945125

zbMATH Keywords

modalitybelief functionopen world assumptionfinite frameprobability of provabilityGödel-Löb modal provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (3)

Counterfactuals as modal conditionals, and their probability ⋮ Evidence theory in multivalued models of modal logic ⋮ Modal logic interpretation of Dempster-Shafer theory: An infinite case

Cites Work

• Unnamed Item
• Self-reference and modal logic
• ON THE INTEGRATION OF UNCERTAINTY THEORIES

This page was built for publication: GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS