Multi-agent logics for reasoning about higher-order upper and lower probabilities

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Fuzzy sets as a basis for a theory of possibility
Robust Statistics
Towards a unified theory of imprecise probability
A survey of the theory of coherent lower previsions
Reasoning about knowledge and probability
Probability logic for type spaces
A logic for reasoning about probabilities
An analysis of first-order logics of probability
Imprecise probability trees: bridging two theories of imprecise probability
Some first-order probability logics
A logic with approximate conditional probabilities that can model default reasoning
Some probability logics with new types of probability operators
Anytime deduction for probabilistic logic
Probability Logics
Modal operators with probabilistic interpretations. I
Some considerations on the logics P_FD A logic combining modality and probability
An infinitary probability logic for type spaces
A first-order logic for reasoning about higher-order upper and lower probabilities
Reasoning about common knowledge with infinitely many agents
Multiply Subadditive Functions
Infinitely subadditive capacities as upper envelopes of measures
A decidable multi-agent logic with iterations of upper and lower probability operators
The complexity of satisfiability in non-iterated and iterated probabilistic logics
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Logics with lower and upper probability operators
Probabilistic Common Knowledge Among Infinite Number of Agents

Cited In (9)

Incomplete Information and Justifications
Some New Probability Operators
The independent choice logic for modelling multiple agents under uncertainty
Logics with Probability Operators
Multiagent reasoning with probability, time, and beliefs
Reasoning About Degrees of Confirmation
PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
Multiple agent possibilistic logic
Reasoning with Multiple-Agent Possibilistic Logic

This page was built for publication: Multi-agent logics for reasoning about higher-order upper and lower probabilities

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