Publication | Date of Publication | Type |
---|
https://portal.mardi4nfdi.de/entity/Q6173573 | 2023-07-21 | Paper |
Some New Probability Operators | 2022-01-27 | Paper |
Completeness theorems for \(\sigma \)-additive probabilistic semantics | 2020-01-30 | Paper |
Completeness theorem for probability models with finitely many valued measure | 2019-10-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4583726 | 2018-09-03 | Paper |
On evaluations of propositional formulas in countable structures | 2017-07-19 | Paper |
Probability Logics | 2016-11-15 | Paper |
A first-order probabilistic logic with approximate conditional probabilities | 2015-02-12 | Paper |
Hierarchies of probabilistic logics | 2014-10-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2853719 | 2013-10-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4924994 | 2013-06-10 | Paper |
A propositional probabilistic logic with discrete linear time for reasoning about evidence | 2013-01-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q3105881 | 2011-12-19 | Paper |
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm | 2011-05-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3069416 | 2011-01-25 | Paper |
Measures of inconsistency and defaults | 2010-09-02 | Paper |
A logic with approximate conditional probabilities that can model default reasoning | 2010-03-19 | Paper |
Qualitative Possibilities and Necessities | 2009-07-02 | Paper |
Interpolative Boolean Logic | 2008-11-04 | Paper |
How to Restore Compactness into Probabilistic Logics? | 2008-10-27 | Paper |
Measure Logic | 2008-09-16 | Paper |
Logics with the Qualitative Probability Operator | 2008-05-05 | Paper |
Completeness theorem for a logic with imprecise and conditional probabilities | 2008-03-20 | Paper |
A Probabilistic Logic with Polynomial Weight Formulas | 2008-03-04 | Paper |
Logics in Artificial Intelligence | 2006-10-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3369026 | 2006-02-13 | Paper |
Completeness theorem for propositional probabilistic models whose measures have only finite ranges | 2004-12-16 | Paper |
An intuitionistic logic with probabilistic operators | 2004-09-08 | Paper |
A probabilistic extension of intuitionistic logic | 2003-07-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4708432 | 2003-06-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4806141 | 2003-05-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4795396 | 2003-02-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q4532050 | 2002-05-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2724041 | 2001-07-08 | Paper |
Some first-order probability logics | 2000-10-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4502916 | 2000-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4492839 | 2000-07-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4253257 | 1999-08-09 | Paper |
Some probability logics with new types of probability operators | 1999-05-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4378239 | 1998-03-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4378240 | 1998-03-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4379585 | 1998-03-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3123584 | 1997-06-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4714224 | 1996-11-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q4874823 | 1996-04-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4854393 | 1996-01-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4296345 | 1994-11-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3988148 | 1992-06-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3990669 | 1992-06-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3204452 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3211421 | 1989-01-01 | Paper |
Completeness Theorem for Singular Biprobability Models | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4733858 | 1987-01-01 | Paper |
Completeness theorem for biprobability models | 1986-01-01 | Paper |
Barwise Completeness Theorems for Some Biprobability Logics | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3697526 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3703880 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5185279 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3874206 | 1979-01-01 | Paper |