Modelling uncertainty with Kripke's semantics

DOI10.1007/BFB0057440MaRDI QIDQ4247686zbMATH OpenFDO

Authors Veselka Boeva, Elena Tsiporkova, B. De Baets

Publication date 16 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0057440

zbMATH Keywords

accessibility relationevidence measuresKripke semanticsmodal logicnecessitypossibilitypossible worldsuncertainty

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• EVIDENCE MEASURES INDUCED BY KRIPKE'S ACCESSIBILITY RELATIONS
• Evidence theory in multivalued models of modal logic
• scientific article; zbMATH DE number 1023168
• On modal logic interpretation of possibility theory

Cited in

(5)

• From worlds to probabilities: A probabilistic semantics for modal logic
• On open-set lattices and some of their applications in semantics
• Measure Logic
• FIELD THEORY AND MODAL LOGIC BY SEMANTIC FIELDS TO MAKE UNCERTAINTY EMERGE FROM INFORMATION
• Modal semantics for reasoning with probability and uncertainty

This page was built for publication: Modelling uncertainty with Kripke's semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247686)