We present a sound and strongly complete axiomatization of a reasoning about linear combinations of conditional probabilities, including comparative statements. The developed logic is decidable, with a PSPACE containment for the decision procedure
AbstractThe concept of conditioning is well known in probability theory, where it is used in artific...
We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sou...
We propose a combination of probabilistic reasoning from conditional constraints with approaches to ...
Abstract. This paper presents a sound and strongly complete axiomatization of the reasoning about li...
We present a proof-theoretical and model-theoretical approach to reasoning about knowledge and condi...
We present a proof-theoretical and model-theoretical approach to reasoning about knowledge and condi...
AbstractWe consider a language for reasoning about probability which allows us to make statements su...
AbstractThe paper presents the proof-theoretical approach to a probabilistic logic which allows expr...
In [1], two logics for reasoning about probabilities were introduced. The first was unable to reason...
Abstract. We offer extended completeness theorem for probabilistic logic that combines higher-order ...
This paper is devoted to a logical and algebraic treatment of conditional probability. The main idea...
Epistemic logics are formal models designed in order to reason about the knowledge of agents and the...
We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reas...
The importance of logics with approximate conditional probabilities is reflected by the fact that th...
We investigate probabilistic propositional logics as a way of expressing, and reasoning about decisi...
AbstractThe concept of conditioning is well known in probability theory, where it is used in artific...
We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sou...
We propose a combination of probabilistic reasoning from conditional constraints with approaches to ...
Abstract. This paper presents a sound and strongly complete axiomatization of the reasoning about li...
We present a proof-theoretical and model-theoretical approach to reasoning about knowledge and condi...
We present a proof-theoretical and model-theoretical approach to reasoning about knowledge and condi...
AbstractWe consider a language for reasoning about probability which allows us to make statements su...
AbstractThe paper presents the proof-theoretical approach to a probabilistic logic which allows expr...
In [1], two logics for reasoning about probabilities were introduced. The first was unable to reason...
Abstract. We offer extended completeness theorem for probabilistic logic that combines higher-order ...
This paper is devoted to a logical and algebraic treatment of conditional probability. The main idea...
Epistemic logics are formal models designed in order to reason about the knowledge of agents and the...
We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reas...
The importance of logics with approximate conditional probabilities is reflected by the fact that th...
We investigate probabilistic propositional logics as a way of expressing, and reasoning about decisi...
AbstractThe concept of conditioning is well known in probability theory, where it is used in artific...
We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sou...
We propose a combination of probabilistic reasoning from conditional constraints with approaches to ...
DOI
Add to ORKG