Aleksandar Perović

Available identifiers

zbMath Open perovic.aleksandar.1MaRDI QIDQ465581

List of research outcomes

Publication	Date of Publication	Type
Probability logics for reasoning about quantum observations	2023-07-11	Paper
Tableau for the logic ILP	2022-12-08	Paper
Probabilistic Temporal Logics	2022-01-27	Paper
Applications of Logics About Simple Probabilities	2022-01-27	Paper
A Probabilistic Temporal Epistemic Logic	2021-05-26	Paper
Completeness theorems for \(\sigma \)-additive probabilistic semantics	2020-01-30	Paper
Generalization of Portmanteau theorem for a sequence of interval-valued pseudo-probability measures	2019-10-16	Paper
A protocol for provably secure authentication of a tiny entity to a high performance computing one	2018-10-12	Paper
Inequalities of the Chebyshev type based on pseudo-integrals	2017-11-13	Paper
Inequalities of Hölder and Minkowski type for pseudo-integrals with respect to interval-valued \(\oplus\)-measures	2017-08-09	Paper
On evaluations of propositional formulas in countable structures	2017-07-19	Paper
A premium principle based on the g-integral	2017-05-16	Paper
\(p\)-adic probability logics	2016-11-22	Paper
Hierarchies of probabilistic logics	2014-10-23	Paper
GPFCSP Systems: Definition and Formalization	2014-06-30	Paper
A propositional linear time logic with time flow isomorphic to \(\omega^2\)	2014-04-24	Paper
A First-Order Dynamic Probability Logic	2013-08-05	Paper
A propositional probabilistic logic with discrete linear time for reasoning about evidence	2013-01-04	Paper
A logic with conditional probability operators	2012-09-21	Paper
A p-adic probability logic	2012-09-12	Paper
Formalising PFSQL queries using ŁΠ fuzzy logic	2012-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q3105881	2011-12-19	Paper
Probabilistic Approach to Nonmonotonic Consequence Relations	2011-06-29	Paper
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm	2011-05-02	Paper
Qualitative Possibilities and Necessities	2009-07-02	Paper
Infinitesimals in Nonstandard Analysis versus Infinitesimals in p-Adic Fields	2009-01-22	Paper
Interpolative Boolean Logic	2008-11-04	Paper
How to Restore Compactness into Probabilistic Logics?	2008-10-27	Paper
Sums of like powers and some dense sets	2008-07-02	Paper
Forcing with propositional Lindenbaum algebras	2008-07-02	Paper
Contrapunctus of the continuum problem and the measure problem	2008-07-02	Paper
Logics with the Qualitative Probability Operator	2008-05-05	Paper
Ideal membership in signomial rings	2008-03-28	Paper
A Probabilistic Logic with Polynomial Weight Formulas	2008-03-04	Paper
A Method of Generating Sums of Like Powers	2005-11-15	Paper
Some Properties of Posynomial Rings	2005-06-26	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: Aleksandar Perović