Aleksandar Perović

Available identifiers

zbMath Open perovic.aleksandar.1MaRDI QIDQ465581

List of research outcomes

Publication	Date of Publication	Type
A probabilistic temporal epistemic logic: strong completeness	2024-11-15	Paper
A probabilistic temporal epistemic logic: decidability	2024-11-15	Paper
The logic ILP for intuitionistic reasoning about probability	2024-11-12	Paper
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 Ł\( \Pi \frac 12\) 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

This page was built for person: Aleksandar Perović