1. Baker, S.: Automated Deduction in Arithmetic with the Omega Rule. AAAI Technical Report FS-93-01 (1993)
2. Barwise, K.J.: Admissible Sets and Structures. Springer, Berlin (1975)
3. Doder, D.: Primene infinitarnih logika u verovatnosno-temporalnom rezonovanju i teoriji modela Ph.D. thesis (in Serbian). University of Belgrade (2011). http://elibrary.matf.bg.ac.rs/bitstream/handle/123456789/2467/docddFR.pdf?sequence=1
4. Doder, D., Ognjanović, Z., Marković, Z.: An axiomatization of a first-order branching time temporal logic. J. Univers. Comput. Sci. 16(11), 1439–1451 (2010)
5. Đorđević, R., Rašković, M., Ognjanović, Z.: Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Arch. Math. Logic 43, 557–563 (2004)