@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D},
year={2024},
title={Probabilistic temporal logic with countably additive semantics},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={175},
number={9},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Dautovic Sejla,Doder Dragan J,Ognjanovic Zoran D},
year={2023},
title={Reasoning about knowledge and conditional probability},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={163},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Dautovic Sejla,Doder Dragan J,Ognjanovic Zoran D},
year={2021},
title={Logics for reasoning about degrees of confirmation},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={31},
number={8},
pages={2189-2217},
document_type={Article},
} 

@ARTICLE{
author={Tomovic Sinisa,Ognjanovic Zoran D,Doder Dragan J},
year={2020},
title={A First-order Logic for Reasoning about Knowledge and Probability},
journal={ACM TRANSACTIONS ON COMPUTATIONAL LOGIC},
volume={21},
number={2},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Savic Nenad,Ognjanovic Zoran D},
year={2020},
title={Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities},
journal={JOURNAL OF LOGIC LANGUAGE AND INFORMATION},
volume={29},
number={1},
pages={77-107},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D},
year={2017},
title={Probabilistic Logics with Independence and Confirmation},
journal={STUDIA LOGICA},
volume={105},
number={5},
pages={943-969},
document_type={Article},
} 

@ARTICLE{
author={Savic Nenad,Doder Dragan J,Ognjanovic Zoran D},
year={2017},
title={Logics with lower and upper probability operators},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={88},
number={},
pages={148-168},
document_type={Article},
} 

@ARTICLE{
author={Perovic Aleksandar M,Doder Dragan J,Ognjanovic Zoran D,Raskovic Miodrag D},
year={2016},
title={On Evaluations of Propositional Formulas in Countable Structures},
journal={FILOMAT},
volume={30},
number={1},
pages={1-13},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Doder Dragan J,Perovic Aleksandar M},
year={2014},
title={A propositional linear time logic with time flow isomorphic to omega(2)},
journal={JOURNAL OF APPLIED LOGIC},
volume={12},
number={2},
pages={208-229},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Grant John,Ognjanovic Zoran D},
year={2013},
title={Probabilistic logics for objects located in space and time},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={23},
number={3},
pages={487-515},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Markovic Zoran M,Raskovic Miodrag D,Doder Dragan J,Perovic Aleksandar M},
year={2012},
title={A propositional probabilistic logic with discrete linear time for reasoning about evidence},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={65},
number={2-3},
pages={217-243},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J},
year={2011},
title={A Logic with Big-Stepped Probabilities that Can Model Nonmonotonic Reasoning of System P},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={90},
number={104},
pages={13-22},
document_type={Article},
} 

@ARTICLE{
author={Mijajlovic Zarko,Doder Dragan J,Ilic-Stepic Angelina V},
year={2011},
title={Borel Sets and Countable Models},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={90},
number={104},
pages={1-11},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Marinkovic Bojan B,Maksimovic Petar,Perovic Aleksandar M},
year={2010},
title={A Logic with Conditional Probability Operators},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={87},
number={101},
pages={85-96},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D,Markovic Zoran M},
year={2010},
title={An Axiomatization of a First-order Branching Time Temporal Logic},
journal={JOURNAL OF UNIVERSAL COMPUTER SCIENCE},
volume={16},
number={11},
pages={1439-1451},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2010},
title={Measures of inconsistency and defaults},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={51},
number={7},
pages={832-845},
document_type={Article},
}