| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7715470 (Why is no real title available?) | 2023-07-21 | Paper |
Some New Probability Operators
Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
| Logics with generalized measure operators | 2018-09-03 | Paper |
| Probability logics. Probability-based formalization of uncertain reasoning | 2016-11-15 | Paper |
A first-order probabilistic logic with approximate conditional probabilities
Logic Journal of the IGPL | 2015-02-12 | Paper |
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
| scientific article; zbMATH DE number 5990430 (Why is no real title available?) | 2011-12-19 | Paper |
| scientific article; zbMATH DE number 5790393 (Why is no real title available?) | 2010-09-22 | Paper |
Measures of inconsistency and defaults
International Journal of Approximate Reasoning | 2010-09-02 | Paper |
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning | 2010-03-19 | Paper |
Qualitative Possibilities and Necessities
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Turbulent Two-Phase Flow Modeling of Air-Coal Mixture Channels with Single Blade Turbulators
AIP Conference Proceedings | 2009-01-22 | Paper |
How to Restore Compactness into Probabilistic Logics?
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Measure Logic
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Completeness theorem for a logic with imprecise and conditional probabilities
Publications de l'Institut Math?matique (Belgrade) | 2008-03-20 | Paper |
A Probabilistic Logic with Polynomial Weight Formulas
Lecture Notes in Computer Science | 2008-03-04 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
An intuitionistic logic with probabilistic operators
Publications de l'Institut Mathematique | 2004-09-08 | Paper |
A probabilistic extension of intuitionistic logic
MLQ | 2003-07-31 | Paper |
| scientific article; zbMATH DE number 1907113 (Why is no real title available?) | 2003-05-07 | Paper |
| scientific article; zbMATH DE number 1907114 (Why is no real title available?) | 2003-05-07 | Paper |
| scientific article; zbMATH DE number 1823848 (Why is no real title available?) | 2002-11-05 | Paper |
| scientific article; zbMATH DE number 1746426 (Why is no real title available?) | 2002-05-28 | Paper |
| scientific article; zbMATH DE number 871447 (Why is no real title available?) | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 464833 (Why is no real title available?) | 1993-12-10 | Paper |
On the structure of kripke models of heyting arithmetic
Mathematical Logic Quarterly | 1993-01-01 | Paper |
| scientific article; zbMATH DE number 4035773 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3957081 (Why is no real title available?) | 1984-01-01 | Paper |
Some preservation results for classical and intuitionistic satisfiability in Kripke models
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3957080 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3782980 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3689371 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3572130 (Why is no real title available?) | 1977-01-01 | Paper |
