A logic for probabilities in semantics

DOI10.1007/3-540-45793-3_15MaRDI QIDQ4411825zbMATH OpenFDO

Authors M. Andrew Moshier, Achim Jung

Publication date 10 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2471/24710216.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Probability semantics for quantifier logic
• A probabilistic semantics for belief logic
• A semantics for possibility theory based on likelihoods
• A logic for reasoning about probabilities
• Possible semantics for a common framework of probabilistic logics
• scientific article; zbMATH DE number 988760
• Probability logics
• Probabilities on sentences in an expressive logic
• Probability logic: A model-theoretic perspective
• scientific article; zbMATH DE number 1123884

Cited in

(19)

• Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
• Entailment systems for stably locally compact locales
• A probabilistic semantics for belief logic
• Reasoning about probabilistic sequential programs
• Probabilities on sentences in an expressive logic
• On the computational content of the Lawson topology
• Abstract interpretation of probabilistic semantics
• Probabilistic Interpretations of Predicates
• A LOGIC FOR UNCERTAIN PROBABILITIES
• scientific article; zbMATH DE number 4152345 (Why is no real title available?)
• scientific article; zbMATH DE number 4006238 (Why is no real title available?)
• scientific article; zbMATH DE number 3611340 (Why is no real title available?)
• Continuous domain theory in logical form
• Applications of Logics About Simple Probabilities
• scientific article; zbMATH DE number 7471705 (Why is no real title available?)
• A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART B
• A logic for reasoning about qualitative probability
• Duality and canonical extensions for stably compact spaces
• The probabilistic powerdomain for stably compact spaces

This page was built for publication: A logic for probabilities in semantics

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