@ARTICLE{
author={Lehnherr David,Ognjanovic Zoran D,Studer Thomas},
year={2022},
title={A logic of interactive proofs},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={32},
number={8},
pages={1645-1658},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D,Savic Nenad,Studer Thomas},
year={2022},
title={Incomplete Information and Justifications},
journal={LANGUAGE, LOGIC, AND COMPUTATION},
volume={13206},
number={},
pages={258-278},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kokkinis Ioannis,Ognjanovic Zoran D,Studer Thomas},
year={2020},
title={Probabilistic justification logic},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={30},
number={1},
pages={257-280},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D,Studer Thomas},
year={2019},
title={A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={29},
number={5},
pages={803-830},
document_type={Article},
} 

@ARTICLE{
author={Kokkinis Ioannis,Ognjanovic Zoran D,Studer Thomas},
year={2016},
title={Probabilistic Justification Logic},
journal={LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016)},
volume={9537},
number={},
pages={174-186},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kokkinis Ioannis,Maksimovic Petar,Ognjanovic Zoran D,Studer Thomas},
year={2015},
title={First steps towards probabilistic justification logic},
journal={LOGIC JOURNAL OF THE IGPL},
volume={23},
number={4},
pages={662-687},
document_type={Article},
}