Semantics of non-deterministic possibility computation

DOI10.1016/J.FSS.2012.01.022MaRDI QIDQ1759727zbMATH OpenOpenAlexFDO

Authors Hengyang Wu, Yixiang Chen

Publication date 22 November 2012

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2012.01.022

zbMATH Keywords

domain theorySugeno integralformal semanticspossibility measureHoare powerdomainpossibility computation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Domain semantics of possibility computations
• A duality between LM-fuzzy possibility computations and their logical semantics
• A generalization of the Chen-Wu duality into quantale-valued setting
• Fixed-point semantics of computation tree logic based on generalized possibility measures
• A duality theorem for quantitative semantics

Cites work

• scientific article; zbMATH DE number 3902043 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 1231572 (Why is no real title available?)
• A Powerdomain Construction
• A family of fuzzy programming languages
• A fuzzy language.
• Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices
• Continuous Lattices and Domains
• Default reasoning and possibility theory
• Domain semantics of possibility computations
• Fuzzy sets
• Fuzzy sets and systems. Theory and applications
• HALO --- a fuzzy programming language
• L.P.L. - A fuzzy programming language. II: Semantic aspects
• L.P.L. A fuzzy programming language. I: Syntactic aspects
• Multidimensional generalized fuzzy integral
• On Sugeno integral as an aggregation function
• Partial correctness for probabilistic demonic programs
• Possibility measures and possibility integrals defined on a complete lattice
• Possibility measures, integration and fuzzy possibility measures
• Power domains
• Probabilistic models for the guarded command language
• Programming as a Discipline of Mathematical Nature
• Quantitative semantics, topology, and possibility measures
• Reasoning about probabilistic sequential programs in a probabilistic logic
• Retracted: Semantic domains for combining probability and non-determinism
• Some Properties of Predicate Transformers

Cited in

(8)

• scientific article; zbMATH DE number 3943004 (Why is no real title available?)
• Algorithmic correspondence and canonicity for possibility semantics
• A nondeterministic well-founded semantics
• A generalization of the Chen-Wu duality into quantale-valued setting
• Non-deterministic semantics for logics with a consistency operator
• Domain semantics of possibility computations
• Lattice-valued Scott topology on dcpos
• scientific article; zbMATH DE number 1324657 (Why is no real title available?)

Describes a project that uses

Uses Software

• HALO

This page was built for publication: Semantics of non-deterministic possibility computation

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