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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zoran Marković