@ARTICLE{
author={Dabic Maja,Stojanovic Nenad S,Ikodinovic Nebojsa M},
year={2026},
title={A logic with probabilistic Jaccard similarity},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={36},
number={2},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Boricic-Joksimovic Marija,Ikodinovic Nebojsa M,Stojanovic Nenad S},
year={2024},
title={Probability and natural deduction},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Stojanovic Tatjana P,Ikodinovic Nebojsa M,Davidovic Tatjana,Ognjanovic Zoran D},
year={2021},
title={Automated non-monotonic reasoning in System P},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={89},
number={5-6},
pages={471-509},
document_type={Article},
} 

@ARTICLE{
author={Djordjevic Radosav S,Ikodinovic Nebojsa M,Stojanovic Nenad S},
year={2020},
title={A Propositional Metric Logic with Fixed Finite Ranges},
journal={FUNDAMENTA INFORMATICAE},
volume={174},
number={2},
pages={185-199},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2020},
title={Completeness theorems for sigma-additive probabilistic semantics},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={171},
number={4},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D,Ikodinovic Nebojsa M},
year={2014},
title={Conditional p-adic probability logic},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={55},
number={9},
pages={1843-1865},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2014},
title={Hierarchies of probabilistic logics},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={55},
number={9},
pages={1830-1842},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2014},
title={A first-order probabilistic logic with approximate conditional probabilities},
journal={LOGIC JOURNAL OF THE IGPL},
volume={22},
number={4},
pages={539-564},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2013},
title={Logics with Generalized Measure Operators},
journal={JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING},
volume={20},
number={5-6},
pages={527-555},
document_type={Article},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D,Ikodinovic Nebojsa M,Perovic Aleksandar M},
year={2012},
title={A p-adic probability logic},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={58},
number={4-5},
pages={263-280},
document_type={Article},
} 

@ARTICLE{
author={Ristic Vladimir T,Djordjevic Radosav S,Ikodinovic Nebojsa M},
year={2011},
title={Biprobability logic with conditional expectation},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={57},
number={4},
pages={400-408},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2007},
title={Measure logic},
journal={Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings},
volume={4724},
number={},
pages={128-138},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Djordjevic Radosav S,Ikodinovic Nebojsa M,Mijajlovic Zarko},
year={2007},
title={Completeness theorem for topological class models},
journal={ARCHIVE FOR MATHEMATICAL LOGIC},
volume={46},
number={1},
pages={1-8},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Ognjanovic Zoran D},
year={2005},
title={A logic with coherent conditional probabilities},
journal={SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS},
volume={3571},
number={},
pages={726-736},
document_type={Article},
}