| Publication | Date of Publication | Type |
|---|
Logics for at most countable first-order structures
Journal of Logic and Computation | 2026-01-28 | Paper |
A probabilistic temporal epistemic logic: decidability
Logic Journal of the IGPL | 2024-11-15 | Paper |
A probabilistic temporal epistemic logic: strong completeness
Logic Journal of the IGPL | 2024-11-15 | Paper |
The logic ILP for intuitionistic reasoning about probability
Studia Logica | 2024-11-12 | Paper |
Probability logics for reasoning about quantum observations
Logica Universalis | 2023-07-11 | Paper |
Tableau for the logic ILP
Publications de l'Institut Math?matique (Belgrade) | 2022-12-08 | Paper |
Applications of Logics About Simple Probabilities
Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
Probabilistic Temporal Logics
Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
| A Probabilistic Temporal Epistemic Logic | 2021-05-26 | Paper |
Completeness theorems for \(\sigma \)-additive probabilistic semantics
Annals of Pure and Applied Logic | 2020-01-30 | Paper |
Generalization of Portmanteau theorem for a sequence of interval-valued pseudo-probability measures
Fuzzy Sets and Systems | 2019-10-16 | Paper |
A protocol for provably secure authentication of a tiny entity to a high performance computing one
Mathematical Problems in Engineering | 2018-10-12 | Paper |
Inequalities of the Chebyshev type based on pseudo-integrals
Fuzzy Sets and Systems | 2017-11-13 | Paper |
Inequalities of Hölder and Minkowski type for pseudo-integrals with respect to interval-valued \(\oplus\)-measures
Fuzzy Sets and Systems | 2017-08-09 | Paper |
On evaluations of propositional formulas in countable structures
Filomat | 2017-07-19 | Paper |
A premium principle based on the g-integral
Stochastic Analysis and Applications | 2017-05-16 | Paper |
\(p\)-adic probability logics
\(p\)-Adic Numbers, Ultrametric Analysis, and Applications | 2016-11-22 | Paper |
Hierarchies of probabilistic logics
International Journal of Approximate Reasoning | 2014-10-23 | Paper |
GPFCSP systems: definition and formalization
Intelligent Systems: Models and Applications | 2014-06-30 | Paper |
A propositional linear time logic with time flow isomorphic to ^2
Journal of Applied Logic | 2014-04-24 | Paper |
A First-Order Dynamic Probability Logic
Lecture Notes in Computer Science | 2013-08-05 | Paper |
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
A logic with conditional probability operators
Publications de l'Institut Mathématique. Nouvelle Série | 2012-09-21 | Paper |
A p-adic probability logic
Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
Formalising PFSQL queries using Ł\( \Pi \frac 12\) fuzzy logic
MSCS. Mathematical Structures in Computer Science | 2012-06-04 | Paper |
| scientific article; zbMATH DE number 5990430 (Why is no real title available?) | 2011-12-19 | Paper |
Probabilistic approach to nonmonotonic consequence relations
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
Fuzzy Sets and Systems | 2011-05-02 | Paper |
Qualitative Possibilities and Necessities
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Infinitesimals in Nonstandard Analysis versus Infinitesimals in p-Adic Fields
AIP Conference Proceedings | 2009-01-22 | Paper |
Interpolative Boolean Logic
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-04 | Paper |
How to Restore Compactness into Probabilistic Logics?
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Sums of like powers and some dense sets
Publications de l'Institut Math?matique (Belgrade) | 2008-07-02 | Paper |
Sums of like powers and some dense sets
Publications de l'Institut Math?matique (Belgrade) | 2008-07-02 | Paper |
Contrapunctus of the continuum problem and the measure problem
Publications de l'Institut Math?matique (Belgrade) | 2008-07-02 | Paper |
Forcing with propositional Lindenbaum algebras
Publications de l'Institut Math?matique (Belgrade) | 2008-07-02 | Paper |
Logics with the Qualitative Probability Operator
Logic Journal of the IGPL | 2008-05-05 | Paper |
Ideal membership in signomial rings
Publikacije Elektrotehnickog fakulteta - serija: matematika | 2008-03-28 | Paper |
A Probabilistic Logic with Polynomial Weight Formulas
Lecture Notes in Computer Science | 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 |
