Completeness theorems for \(\sigma \)-additive probabilistic semantics
From MaRDI portal
Publication:2291370
DOI10.1016/j.apal.2019.102755zbMath1452.03064OpenAlexW2983798805MaRDI QIDQ2291370
Zoran Ognjanović, Miodrag Rašković, Nebojša Ikodinović, Aleksandar Perović
Publication date: 30 January 2020
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2019.102755
Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
Cites Work
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
- Completeness theorem for propositional probabilistic models whose measures have only finite ranges
- An analysis of first-order logics of probability
- Probability logic
- Probabilistic logic
- Hyperfinite models of adapted probability logic
- Modal operators with probabilistic interpretations. I
- Some first-order probability logics
- A logic for reasoning about probabilities
- An infinitary probability logic for type spaces
- A logic with approximate conditional probabilities that can model default reasoning
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- A p-adic probability logic
- Complex valued probability logics
- Completeness theorem for biprobability models
- Deduction Systems for Coalgebras Over Measurable Spaces
- Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
- Probability logic
- Some probability logics with new types of probability operators
- Some considerations on the logics PFD A logic combining modality and probability
- Stone Duality for Markov Processes
- Logics with the Qualitative Probability Operator
- Probability logic for type spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Completeness theorems for \(\sigma \)-additive probabilistic semantics
