De Groot duality and models of choice: angels, demons and nature
From MaRDI portal
Publication:3559970
DOI10.1017/S0960129509990363zbMATH Open1193.06005MaRDI QIDQ3559970FDOQ3559970
Authors: Jean Goubault-Larrecq 
Publication date: 17 May 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
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
Continuous lattices and posets, applications (06B35) Compactness (54D30) Semantics in the theory of computing (68Q55)
Cites Work
- A universal characterization of the double powerlocale
- Prevision Domains and Convex Powercones
- Additive representations of non-additive measures and the Choquet integral
- Theory of capacities
- Domain theory and integration
- The probabilistic powerdomain for stably compact spaces
- Topology, domain theory and theoretical computer science
- Games against nature
- On the existence of probability measures with given marginals
- Measure extension theorems for \(T_{0}\)-spaces
- Continuous Previsions
- Continuous Capacities on Continuous State Spaces
- Predicate transformers for extended probability and non-determinism
- A domain-theoretic Banach–Alaoglu theorem
- Simulation Hemi-metrics between Infinite-State Stochastic Games
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
- Title not available (Why is that?)
- Isomorphism theorems between models of mixed choice
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- 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)
