Epistemic probability logic simplified

MaRDI QIDQ4636291zbMATH OpenFDO

Authors Jan van Eijck, François Schwarzentruber

Publication date 23 April 2018

zbMATH Keywords

complexity theoryprobabilitydynamic epistemic logiclotteryHennessy-Milner theoremepistemic modal logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Probabilistic dynamic epistemic logic
• scientific article; zbMATH DE number 64163
• scientific article; zbMATH DE number 4145875
• Reasoning about knowledge and probability
• A First-order Logic for Reasoning about Knowledge and Probability

Cited in

(9)

• Probabilistic temporal logic with countably additive semantics
• scientific article; zbMATH DE number 1735954 (Why is no real title available?)
• A computationally grounded logic of graded belief
• Propositional epistemic luck, epistemic risk, and epistemic justification
• Probabilistic epistemic logic based on neighborhood semantics
• Probabilistic logic over equations and domain restrictions
• Bisimulation for conditional modalities
• Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
• Some remarks on the model theory of epistemic plausibility models

This page was built for publication: Epistemic probability logic simplified

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