Author of the publication

Completeness theorem for propositional probabilistic models whose measures have only finite ranges.

, , and . Arch. Math. Log., 43 (4): 557-564 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Probabilistic Logic with Polynomial Weight Formulas., , , and . FoIKS, volume 4932 of Lecture Notes in Computer Science, page 239-252. Springer, (2008)Barwise Completeness Theorems for Some Biprobability Logics., and . Math. Log. Q., 32 (7-9): 133-135 (1986)Logics with the Qualitative Probability Operator., , and . Logic Journal of the IGPL, 16 (2): 105-120 (2008)How to Restore Compactness into Probabilistic Logics?., , , and . JELIA, volume 5293 of Lecture Notes in Computer Science, page 338-348. Springer, (2008)Measure Logic., , , and . ECSQARU, volume 4724 of Lecture Notes in Computer Science, page 128-138. Springer, (2007)A logic with approximate conditional probabilities that can model default reasoning., , and . Int. J. Approx. Reason., 49 (1): 52-66 (2008)A first-order probabilistic logic with approximate conditional probabilities., , , and . Log. J. IGPL, 22 (4): 539-564 (2014)Some Probability Logics with New Types of Probability Operators., and . J. Log. Comput., 9 (2): 181-195 (1999)Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm., , , and . Fuzzy Sets Syst., 169 (1): 65-90 (2011)Completeness Theorem for Biprobability Models.. J. Symb. Log., 51 (3): 586-590 (1986)