Zoran Marković

Available identifiers

zbMath Open markovic.zoran-mMaRDI QIDQ991002

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6173573	2023-07-21	Paper
Some New Probability Operators	2022-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4583726	2018-09-03	Paper
Probability Logics	2016-11-15	Paper
A first-order probabilistic logic with approximate conditional probabilities	2015-02-12	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
https://portal.mardi4nfdi.de/entity/Q4929426	2010-09-22	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
Turbulent Two-Phase Flow Modeling of Air-Coal Mixture Channels with Single Blade Turbulators	2009-01-22	Paper
How to Restore Compactness into Probabilistic Logics?	2008-10-27	Paper
Measure Logic	2008-09-16	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
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/Q4805536	2003-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4805537	2003-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q3153244	2002-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4532050	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4874811	1996-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q4271470	1993-12-10	Paper
On the structure of kripke models of heyting arithmetic	1993-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3775514	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726100	1984-01-01	Paper
Some preservation results for classical and intuitionistic satisfiability in Kripke models	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726099	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960677	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3884097	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4143276	1977-01-01	Paper

Research outcomes over time

This page was built for person: Zoran Marković