| 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: strong completeness
Logic Journal of the IGPL | 2024-11-15 | Paper |
A probabilistic temporal epistemic logic: decidability
Logic Journal of the IGPL | 2024-11-15 | Paper |
The logic ILP for intuitionistic reasoning about probability
Studia Logica | 2024-11-12 | Paper |
Probabilistic temporal logic with countably additive semantics
Annals of Pure and Applied Logic | 2024-06-24 | Paper |
Reasoning about knowledge and conditional probability
International Journal of Approximate Reasoning | 2023-12-12 | Paper |
Intuitionistic propositional probability logic
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| scientific article; zbMATH DE number 7715470 (Why is no real title available?) | 2023-07-21 | Paper |
Probability logics for reasoning about quantum observations
Logica Universalis | 2023-07-11 | Paper |
A logic of interactive proofs
Journal Of Logic And Computation | 2023-01-04 | Paper |
Tableau for the logic ILP
Publications de l'Institut Math?matique (Belgrade) | 2022-12-08 | Paper |
Reasoning About Degrees of Confirmation
Lecture Notes in Computer Science | 2022-08-30 | Paper |
| Incomplete Information and Justifications | 2022-08-11 | Paper |
A logic of interactive proofs
(available as arXiv preprint) | 2022-07-01 | Paper |
Logics with Probability Operators
Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
Probabilistic Modeling of Default Reasoning
Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
Logics for reasoning about degrees of confirmation
Journal Of Logic And Computation | 2022-01-03 | Paper |
| An epistemic probabilistic logic with conditional probabilities | 2021-12-01 | Paper |
Automated non-monotonic reasoning in System \textbf{P}
Annals of Mathematics and Artificial Intelligence | 2021-08-02 | Paper |
| Logic and applications -- LAP meeting | 2021-07-08 | Paper |
| A Probabilistic Temporal Epistemic Logic | 2021-05-26 | Paper |
| Towards probabilistic reasoning in type theory -- the intersection type case | 2020-10-26 | Paper |
A First-order Logic for Reasoning about Knowledge and Probability
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
Multi-agent logics for reasoning about higher-order upper and lower probabilities
Journal of Logic, Language and Information | 2020-05-27 | Paper |
Probabilistic justification logic
Journal Of Logic And Computation | 2020-04-29 | Paper |
| Probabilistic consensus of the blockchain protocol | 2020-02-20 | Paper |
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Journal Of Logic And Computation | 2020-02-03 | Paper |
Completeness theorems for \(\sigma \)-additive probabilistic semantics
Annals of Pure and Applied Logic | 2020-01-30 | Paper |
First steps towards probabilistic justification logic
Logic Journal of the IGPL | 2019-01-08 | Paper |
Proving properties of the Chord protocol using the ASM formalism
Theoretical Computer Science | 2019-01-02 | 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 |
| Logics with generalized measure operators | 2018-09-03 | Paper |
| A decidable multi-agent logic with iterations of upper and lower probability operators | 2018-06-26 | Paper |
| Probabilistic reasoning about simply typed lambda terms | 2018-04-06 | Paper |
Probabilistic logics with independence and confirmation
Studia Logica | 2017-12-14 | Paper |
Leibniz, a Sorb
The Mathematical Intelligencer | 2017-12-08 | Paper |
| Justification logic with approximate conditional probabilities | 2017-11-22 | Paper |
Logics with lower and upper probability operators
International Journal of Approximate Reasoning | 2017-10-20 | Paper |
| A first-order logic for reasoning about higher-order upper and lower probabilities | 2017-09-05 | Paper |
Probabilistic justification logic
Logical Foundations of Computer Science | 2017-07-21 | Paper |
On evaluations of propositional formulas in countable structures
Filomat | 2017-07-19 | Paper |
Complex valued probability logics
Publications de l'Institut Math?matique (Belgrade) | 2017-03-14 | Paper |
\(p\)-adic probability logics
\(p\)-Adic Numbers, Ultrametric Analysis, and Applications | 2016-11-22 | Paper |
| Probability logics. Probability-based formalization of uncertain reasoning | 2016-11-15 | Paper |
Probabilistic Common Knowledge Among Infinite Number of Agents
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
Studia Logica | 2015-06-18 | Paper |
A first-order probabilistic logic with approximate conditional probabilities
Logic Journal of the IGPL | 2015-02-12 | Paper |
A first-order conditional probability logic with iterations
Publications de l'Institut Mathématique. Nouvelle Série | 2014-11-14 | Paper |
A first-order conditional probability logic with iterations
Publications de l'Institut Math?matique (Belgrade) | 2014-11-14 | Paper |
Conditional \(p\)-adic probability logic
International Journal of Approximate Reasoning | 2014-10-23 | Paper |
Hierarchies of probabilistic logics
International Journal of Approximate Reasoning | 2014-10-23 | Paper |
A propositional linear time logic with time flow isomorphic to \(\omega^2\)
Journal of Applied Logic | 2014-04-24 | Paper |
| An extension of the probability logic \(\mathrm{LPP}_2\) | 2014-02-07 | Paper |
A First-Order Dynamic Probability Logic
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Probabilistic logics for objects located in space and time
Journal Of Logic And Computation | 2013-06-27 | Paper |
| On two approaches to modal theorem proving | 2013-06-10 | Paper |
| An automated theorem prover for the probability logic LPP | 2013-06-10 | Paper |
| scientific article; zbMATH DE number 6172805 (Why is no real title available?) | 2013-06-10 | Paper |
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
Completeness theorem for a first order linear-time logic
Publications de l'Institut Mathématique. Nouvelle Série | 2012-09-21 | Paper |
The resolution tableau for logics of likelihood
Kragujevac Journal of Mathematics | 2012-09-21 | Paper |
A \(p\)-adic probability logic
Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
A first-order conditional probability logic
Logic Journal of the IGPL | 2012-08-01 | 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 |
Digitization of mathematical editions in Serbia
Mathematics in Computer Science | 2011-02-19 | Paper |
| Probability logics | 2011-01-25 | Paper |
| scientific article; zbMATH DE number 5790393 (Why is no real title available?) | 2010-09-22 | Paper |
Measures of inconsistency and defaults
International Journal of Approximate Reasoning | 2010-09-02 | Paper |
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning | 2010-03-19 | Paper |
| Digitization of mathematical editions in Serbia | 2009-09-25 | Paper |
Qualitative Possibilities and Necessities
Lecture Notes in Computer Science | 2009-07-02 | 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 |
Measure Logic
Lecture Notes in Computer Science | 2008-09-16 | Paper |
A logic with higher order conditional probabilities
Publications de l'Institut Math?matique (Belgrade) | 2008-07-02 | Paper |
| scientific article; zbMATH DE number 5282975 (Why is no real title available?) | 2008-06-03 | Paper |
Logics with the Qualitative Probability Operator
Logic Journal of the IGPL | 2008-05-05 | Paper |
Completeness theorem for a logic with imprecise and conditional probabilities
Publications de l'Institut Math?matique (Belgrade) | 2008-03-20 | Paper |
A Probabilistic Logic with Polynomial Weight Formulas
Lecture Notes in Computer Science | 2008-03-04 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
Journal Of Logic And Computation | 2006-07-03 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
| On classical logic with probability operators: a short survey | 2006-02-13 | Paper |
Artificial Intelligence and Soft Computing - ICAISC 2004
Lecture Notes in Computer Science | 2005-04-12 | Paper |
Completeness theorem for propositional probabilistic models whose measures have only finite ranges
Archive for Mathematical Logic | 2004-12-16 | Paper |
An intuitionistic logic with probabilistic operators
Publications de l'Institut Mathematique | 2004-09-08 | Paper |
| scientific article; zbMATH DE number 2047311 (Why is no real title available?) | 2004-02-26 | Paper |
A probabilistic extension of intuitionistic logic
MLQ | 2003-07-31 | Paper |
| scientific article; zbMATH DE number 1929309 (Why is no real title available?) | 2003-06-17 | Paper |
| scientific article; zbMATH DE number 1904893 (Why is no real title available?) | 2003-05-05 | Paper |
| scientific article; zbMATH DE number 1873277 (Why is no real title available?) | 2003-02-24 | Paper |
| scientific article; zbMATH DE number 1844518 (Why is no real title available?) | 2002-12-12 | Paper |
Some first-order probability logics
Theoretical Computer Science | 2000-10-26 | Paper |
Some probability logics with new types of probability operators
Journal Of Logic And Computation | 1999-05-11 | Paper |
| scientific article; zbMATH DE number 1123884 (Why is no real title available?) | 1998-03-04 | Paper |
| scientific article; zbMATH DE number 1122846 (Why is no real title available?) | 1998-03-02 | Paper |
| scientific article; zbMATH DE number 988760 (Why is no real title available?) | 1997-06-03 | Paper |
| scientific article; zbMATH DE number 988756 (Why is no real title available?) | 1997-04-24 | Paper |
A tableau-like proof procedure for normal modal logics
Theoretical Computer Science | 1995-01-29 | Paper |
