The following pages link to (Q3476790):
Displayed 11 items.
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- An analysis of first-order logics of probability (Q757340) (← links)
- Approximating common knowledge with common beliefs (Q1191820) (← links)
- Topology-free typology of beliefs (Q1276113) (← links)
- Proof methods for reasoning about possibility and necessity (Q1310399) (← links)
- Modelling default and likelihood reasoning as probabilistic reasoning. (Q1354054) (← links)
- The relationship between knowledge, belief, and certainty (Q1354089) (← links)
- Possibilistic reasoning -- a mini-survey and uniform semantics (Q1391902) (← links)
- A logic for reasoning about probabilities (Q1813497) (← links)
- Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)
- Some considerations on the logics P<sub>F</sub>D A logic combining modality and probability (Q4354625) (← links)