De Groot duality and models of choice: angels, demons and nature

DOI10.1017/S0960129509990363MaRDI QIDQ3559970zbMATH OpenFDO

Authors Jean Goubault-Larrecq

Publication date 17 May 2010

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

probabilistic choicenondeterministic choiceconvex-concave duality

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Compactness (54D30) Semantics in the theory of computing (68Q55)

Recommendations

• Modelling angelic and demonic nondeterminism with multirelations
• Contrastive Explanation and the Demons of Determinism
• Terms with unbounded demonic and angelic nondeterminacy
• De se belief and rational choice
• Elements of modal theodicy
• The logic of free acts and the powers of God
• Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
• The Logic of Choice
• Duality and the Descartes deficiency

Cites work

• A domain-theoretic Banach–Alaoglu theorem
• A universal characterization of the double powerlocale
• Additive representations of non-additive measures and the Choquet integral
• Continuous Capacities on Continuous State Spaces
• Continuous Previsions
• Domain theory and integration
• Games against nature
• Measure extension theorems for \(T_{0}\)-spaces
• On the existence of probability measures with given marginals
• Predicate transformers for extended probability and non-determinism
• Prevision Domains and Convex Powercones
• Simulation Hemi-metrics between Infinite-State Stochastic Games
• The probabilistic powerdomain for stably compact spaces
• Theory of capacities
• Topology, domain theory and theoretical computer science

Cited in

(9)

• Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
• Observationally-induced algebras in domain theory
• QRB, QFS, and the probabilistic powerdomain
• Function spaces from Lawson compact continuous domains to continuous B-domains
• scientific article; zbMATH DE number 7696898 (Why is no real title available?)
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Isomorphism theorems between models of mixed choice
• Presenting de Groot duality of stably compact spaces
• Stably compact spaces

This page was built for publication: De Groot duality and models of choice: angels, demons and nature

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