Aleksandar Perović

From MaRDI portal
Person:465581

Available identifiers

zbMath Open perovic.aleksandar.1MaRDI QIDQ465581

List of research outcomes





PublicationDate of PublicationType
A probabilistic temporal epistemic logic: strong completeness2024-11-15Paper
A probabilistic temporal epistemic logic: decidability2024-11-15Paper
The logic ILP for intuitionistic reasoning about probability2024-11-12Paper
Probability logics for reasoning about quantum observations2023-07-11Paper
Tableau for the logic ILP2022-12-08Paper
Probabilistic Temporal Logics2022-01-27Paper
Applications of Logics About Simple Probabilities2022-01-27Paper
A Probabilistic Temporal Epistemic Logic2021-05-26Paper
Completeness theorems for \(\sigma \)-additive probabilistic semantics2020-01-30Paper
Generalization of Portmanteau theorem for a sequence of interval-valued pseudo-probability measures2019-10-16Paper
A protocol for provably secure authentication of a tiny entity to a high performance computing one2018-10-12Paper
Inequalities of the Chebyshev type based on pseudo-integrals2017-11-13Paper
Inequalities of Hölder and Minkowski type for pseudo-integrals with respect to interval-valued \(\oplus\)-measures2017-08-09Paper
On evaluations of propositional formulas in countable structures2017-07-19Paper
A premium principle based on the g-integral2017-05-16Paper
\(p\)-adic probability logics2016-11-22Paper
Hierarchies of probabilistic logics2014-10-23Paper
GPFCSP Systems: Definition and Formalization2014-06-30Paper
A propositional linear time logic with time flow isomorphic to \(\omega^2\)2014-04-24Paper
A First-Order Dynamic Probability Logic2013-08-05Paper
A propositional probabilistic logic with discrete linear time for reasoning about evidence2013-01-04Paper
A logic with conditional probability operators2012-09-21Paper
A \(p\)-adic probability logic2012-09-12Paper
Formalising PFSQL queries using Ł\( \Pi \frac 12\) fuzzy logic2012-06-04Paper
https://portal.mardi4nfdi.de/entity/Q31058812011-12-19Paper
Probabilistic approach to nonmonotonic consequence relations2011-06-29Paper
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm2011-05-02Paper
Qualitative Possibilities and Necessities2009-07-02Paper
Infinitesimals in Nonstandard Analysis versus Infinitesimals in p-Adic Fields2009-01-22Paper
Interpolative Boolean Logic2008-11-04Paper
How to Restore Compactness into Probabilistic Logics?2008-10-27Paper
Sums of like powers and some dense sets2008-07-02Paper
Forcing with propositional Lindenbaum algebras2008-07-02Paper
Contrapunctus of the continuum problem and the measure problem2008-07-02Paper
Logics with the Qualitative Probability Operator2008-05-05Paper
Ideal membership in signomial rings2008-03-28Paper
A Probabilistic Logic with Polynomial Weight Formulas2008-03-04Paper
A Method of Generating Sums of Like Powers2005-11-15Paper
Some Properties of Posynomial Rings2005-06-26Paper

Research outcomes over time

This page was built for person: Aleksandar Perović