Pregled po CROSBI profilu: Srećko Kovač (CROSBI Profil: 12381, MBZ: 136411)

1.

Kovač, Srećko
Logičko-filozofijski ogledi. Zagreb: Hrvatsko filozofsko društvo, 2005 (monografija)
2.

Kovač, Srećko
Logika kao "demonstrirana doktrina": formalna logika u Kanta i najranija recepcija njezinih aspekata u Hrvatskoj. Zagreb: Hrvatsko filozofsko društvo, 1992 (monografija)

Poglavlja u knjigama

1.

Kovač, Srećko
Korijeni pojmova oblika i tvari: začetci filozofije u praslavenskom mitu i hrvatskoj predaji // Medhótá śrávaḥ II: Misao i slovo. Zbornik u čast Mislava Ježića povodom sedamdesetoga rođendana / Andrijanić, Ivan ; Grčević, Mario ; Marotti, Bojan ; Matasović, Ranko (ur.).
Zagreb: Hrvatska akademija znanosti i umjetnosti, 2023. str. 339-355
Pristup cjelovitom tekstu rada
2.

Kovač, Srećko
O izvorima i temeljima formalizacije // Radovi Znanstvenog centra "Berislav Žarnić" / Bašić Hanžek, Gabriela ; Hanžek, Ljudevit ; Škarica, Dario (ur.).
Split: Filozofski fakultet Sveučilišta u Splitu, 2022. str. 13-28
3.

Kovač, Srećko
Dom i svijet hrvatske filozofije: struktura i povijesni aspekti // Domovina, zavičaj, svijet: Zbornik radova povodom 90 godina života Ede Pivčevića / Kutleša, Stipe (ur.).
Zagreb: Institut za filozofiju, 2021. str. 155-176
content.ifzg.hr
4.

Kovač, Srećko
Remarks on the Origin and Foundations of Formalisation // Formal and Informal Methods in Philosophy / Będkowski, Marcin ; Brożek, Anna ; Chybińska, Alicja ; Ivanyk, Stepan ; Traczykowski, Dominik (ur.).
Leiden: Brill ; Rodopi, 2020. str. 163-179 doi:10.1163/9789004420502_010
doi brill.com
5.

Kovač, Srećko
Proofs, necessity and causality // Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano / Alonso, Enrique ; Huertas, Antonia ; Moldovan, Andrei (ur.)., 2019. str. 239-263
6.

Girardi-Karšulin, Mihaela; Kovač, Srećko
Dragišićeva logika // Juraj Dragišić: život i djela / Banić-Pajnić, Erna ; Ćurko, Bruno ; Girardi-Karšulin, Mihaela ; Martinović, Ivica (ur.).
Zagreb: Institut za filozofiju, 2016. str. 51-78
7.

Kovač, Srećko; Świętorzecka, Kordula
Gödel’s “Slingshot” Argument and His Onto-Theological System // Gödel’s Ontological Argument: History, Modifications and Controversies / Świętorzecka, Kordula (ur.).
Varšava: Wydawnictwo Naukowe Semper, 2015. str. 123-162
8.

Kovač, Srećko
Causal Interpretation of Gödel’s Ontological Proof // Gödel’s Ontological Argument: History, Modifications and Controversies / Świętorzecka, Kordula (ur.).
Varšava: Wydawnictwo Naukowe Semper, 2015. str. 163-201
9.

Kovač, Srećko
Causality and Attribution in an Aristotelian Theory // The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau. Vol. 1 / Koslow, Arnold ; Buchsbaum, Arthur (ur.).
Cham : Heidelberg : New York : Dordrecht : London: Springer, 2015. str. 327-340
10.

Kovač, Srećko
Forms of Judgment as a Link between Mind and the Concepts of Substance and Cause (Kant, Gödel) // Substantiality and Causality / Szatkowski, Mirosław ; Rosiak, Marek (ur.).
Boston : Berlin : München: Walter de Gruyter, 2014. str. 51-66 doi:10.1515/9781614518693.51
doi www.degruyter.com
11.

Kovač, Srećko
Kako logički objasniti mnijenje? // Nasljeđe antike / Pećnjak, Davor ; Šegedin, Petar ; Zakarija, Kruno (ur.).
Zagreb: KruZak ; Institut za filozofiju, 2013. str. 131-152
12.

Kovač, Srećko
Modal collapse in Gödel's ontological proof // Ontological Proofs Today / Szatkowski, Miroslaw (ur.).
Heusenstamm: Ontos Verlag, 2012. str. 323-344
books.google.hr
13.

Kovač, Srećko
Logical opposition and collective decisions // Around and Beyond the Square of Opposition / Béziau, Jean-Yves ; Jacquette, Dale (ur.).
Basel: Springer, 2012. str. 341-356
14.

Kovač, Srećko; Žarnić, Berislav
An Outline of the History of the Croatian Logic // Logic in Central and Eastern Europe : History, Science, and Discourse / Schumann, Andrew (ur.).
Landham (MD) : New York (NY): University Press of America, 2012. str. 496-525
15.

Kovač, Srećko
Meršić o Hilbertovoj aksiomatskoj metodi // Zbornik u čast Franji Zenku: u povodu 75. godišnjice života / Banić-Pajnić, Erna ; Girardi-Karšulin, Mihaela (ur.).
Zagreb: Institut za filozofiju, 2006. str. 123-135
16.

Kovač, Srećko
Die kroatische Philosophie des 19. Jahrhunderts, Čučić und Marković // Kroatische Philosophie im europäischen Kontext / Zovko, Jure (ur.).
Sankt Augustin: Gardez!, 2003.
17.

Kovač, Srećko
Šimun Čučić // Starija hrvatska filozofija / Zenko, Franjo (ur.).
Zagreb: Školska knjiga, 1997. str. 485-507

Obrazovni materijali

Ostalo

1.

Kovač, Srećko
Logika: za gimnazije
Zagreb: Hrvatska sveučilišna naklada, 2016
2.

Kovač, Srećko
Svojstva klasične logike
Zagreb: Hrvatski studiji Sveučilišta u Zagrebu, 2013
www.hrstud.unizg.hr
3.

Kovač, Srećko; Žarnić, Berislav
Logička pitanja i postupci
Zagreb: KruZak, 2008
4.

Kovač, Srećko
Priručnik uz "Logiku"
Zagreb: Hrvatska sveučilišna naklada, 2004
5.

Kovač, Srećko
Logika
Zagreb: Hrvatska sveučilišna naklada, 2004
6.

Kovač, Srećko
Uvod u elementarnu logiku
Zagreb: [web-stranice na poslužitelju Instituta za filozofiju], 2003
filist.fizg.hr
7.

Kovač, Srećko
Logika
Zagreb: Hrvatska sveučilišna naklada, 1998

Radovi u časopisima

Znanstveni i pregledni radovi

1.

Kovač, Srećko
The Identity and Continuity of Croatian Philosophy // Prilozi za istraživanje hrvatske filozofske baštine, 48 (2022), 2 (96); 287-304 doi:10.52685/pihfb.48.2(96).1 (domaća recenzija, članak, znanstveni)
doi content.ifzg.hr
2.

Kovač, Srećko
Machines, logic and Wittgenstein // Philosophia, 49 (2021), 5; 2103-2122 doi:10.1007/s11406-021-00365-z (međunarodna recenzija, članak, znanstveni)
doi link.springer.com
3.

Kovač, Srećko
Logical Foundations and Kant's Principles of Formal Logic // History and Philosophy of Logic, 41 (2020), 1; 48-70 doi:10.1080/01445340.2019.1682410 (međunarodna recenzija, članak, znanstveni)
doi www.tandfonline.com doi.org
4.

Kovač, Srećko
The totality of predicates and the possibility of the most real being // Journal of Applied Logics - IfCoLog Journal of Logics and their Applications, 5 (2018), 7; 1523-1552 (međunarodna recenzija, članak, znanstveni)
www.collegepublications.co.uk
5.

Kovač, Srećko
On causality as the fundamental concept of Gödel’s philosophy // Synthese, online first (2018), 1771, 36 doi:10.1007/s11229-018-1771-2 (međunarodna recenzija, članak, znanstveni)
doi link.springer.com
6.

Kovač, Srećko
Causation and intensionality in Aristotelian logic // Studia Philosophiae Christianae, 49 (2013), 2; 117-136 (podatak o recenziji nije dostupan, članak, znanstveni)
7.

Kovač, Srećko
First-order belief and paraconsistency // Logic and Logical Philosophy, 18 (2009), 2; 127-143 (podatak o recenziji nije dostupan, članak, znanstveni)
www.logika.umk.pl
8.

Kovač, Srećko
Ahilej i dvosmislenosti u pojmu beskonačnosti - Meršićev pristup // Prilozi za istraživanje hrvatske filozofske baštine, 35 (2009), 1-2; 83-97 (podatak o recenziji nije dostupan, članak, znanstveni)
9.

Kovač, Srećko
In what sense is Kantian principle of contradiction non-classical? // Logic and Logical Philosophy, 17 (2008), 3; 251-274 (podatak o recenziji nije dostupan, članak, znanstveni)
www.logika.umk.pl
10.

Kovač, Srećko
Gödel, Kant, and the path of a science // Inquiry, 51 (2008), 2; 147-169 doi:10.1080/00201740801956861 (međunarodna recenzija, članak, znanstveni)
doi www.informaworld.com
11.

Kovač, Srećko
Some weakened Gödelian ontological systems // Journal of philosophical logic, 32 (2003), 6; 565-588 (međunarodna recenzija, članak, znanstveni)
12.

Kovač, Srećko
Filozofija iznova kao znanost // Filozofska istraživanja, 21 (2001), 2-3; 455-462 (podatak o recenziji nije dostupan, članak, znanstveni)
Pristup cjelovitom tekstu rada
13.

Kovač, Srećko
Gödelov dokaz nepotpunosti // Logika, 1 (2000), 4; 2-12 (podatak o recenziji nije dostupan, članak, znanstveni)
14.

Kovač, Srećko
Obični i formalizirani jezik u logici // Logika, 1 (2000), 1; 3-9 (podatak o recenziji nije dostupan, članak, znanstveni)
Pristup cjelovitom tekstu rada
15.

Kovač, Srećko
Quine's Platonism and Antiplatonism // Synthesis philosophica, 14 (1999), 1; 45-52 (podatak o recenziji nije dostupan, članak, znanstveni)
Pristup cjelovitom tekstu rada
16.

Kovač, Srećko
Imena - granični slučaj prijevoda // Filozofska istraživanja, 19 (1999), 4; 677-684 (podatak o recenziji nije dostupan, članak, znanstveni)
Pristup cjelovitom tekstu rada
17.

Kovač, Srećko
Quineov platonizam i antiplatonizam // Filozofska istraživanja, 19 (1999), 1-2; 193-199 (podatak o recenziji nije dostupan, članak, znanstveni)
Pristup cjelovitom tekstu rada
18.

Kovač, Srećko
Formalizam, objektivizam, realizam : o nekim shvaćanjima logike u Hrvatskoj prve pol. 20. st. // Prilozi za istraživanje hrvatske filozofske baštine, 22 (1996), 1-2; 255-266 (podatak o recenziji nije dostupan, članak, znanstveni)
www.google.hr
19.

Kovač, Srećko
Franjo pl. Marković // Studia historiae philosophiae Croaticae, 3 (1996), 1; 169-188 (podatak o recenziji nije dostupan, članak, znanstveni)
20.

Kovač, Srećko
Logika u Alberta Bazale : s osvrtom na Petrasa i Filipovića // Prilozi za istraživanje hrvatske filozofske baštine, 21 (1995), 1-2; 265-290 (podatak o recenziji nije dostupan, članak, znanstveni)
www.google.hr
21.

Kovač, Srećko
Stadler i Bauer o formalnoj logic // Filozofska istraživanja, 15 (1995), 3; 599-614 (podatak o recenziji nije dostupan, članak, znanstveni)
22.

Kovač, Srećko
Nazivlje u nastavi logike // Metodički ogledi, 4 (1993), 1; 23-32 (podatak o recenziji nije dostupan, članak, znanstveni)
23.

Kovač, Srećko
Faust Vrančić und der Aristotelismus in der Logik // Studia historiae philosophiae Croaticae : journal of the Institute of Philosophy in Zagreb, 2 (1993), 229-252 (podatak o recenziji nije dostupan, članak, znanstveni)
24.

Kovač, Srećko
Die Anfänge der Kantrezeption in Kroatien // Synthesis Philosophica, 8 (1993), 2; 345-352 (podatak o recenziji nije dostupan, članak, znanstveni)
25.

Kovač, Srećko
Formalizam i realizam u logici // Prilozi za istraživanje hrvatske filozofske baštine, 18 (1992), 1-2; 141-181 (podatak o recenziji nije dostupan, članak, znanstveni)
26.

Kovač, Srećko
Hrvatski školski priručnici iz logike u drugoj polovici 19. st. do pojave Arnoldove »Logike« // Prilozi za istraživanje hrvatske filozofske baštine, 17 (1991), 1-2; 81-106 (podatak o recenziji nije dostupan, članak, znanstveni)
27.

Kovač, Srećko
Teorijska filozofija na Zagrebačkoj Akademiji 1776–1850 // Prilozi za istraživanje hrvatske filozofske baštine, 16 (1990), 1-2; 23-39 (podatak o recenziji nije dostupan, članak, znanstveni)
28.

Kovač, Srećko
Faust Vrančić i aristotelizam u logici // Prilozi za istraživanje hrvatske filozofske baštine, 14 (1988), 1-2; 17-33 (podatak o recenziji nije dostupan, članak, znanstveni)
www.ifzg.hr
29.

Kovač, Srećko
Logika Fausta Vrančića // Prilozi za istraživanje hrvatske filozofske baštine, 10 (1984), 1-2; 39-48 (podatak o recenziji nije dostupan, članak, znanstveni)
www.ifzg.hr www.ifzg.hr

Stručni radovi

1.

Kovač, Srećko
Michael Wolff, Die Vollstaendigkeit der Kantischen Urteilstafel // Filozofska istraživanja, 17 (1997), 1; 253-255 (podatak o recenziji nije dostupan, članak, stručni)

Drugi radovi u časopisima

1.

Kovač, Srećko
"The Bounds of Transcendental Logic" by D. Schulting, Cham, Switzerland, Palgrave Macmillan, 2022 // History and philosophy of logic, online (2022), 1-4 doi:10.1080/01445340.2022.2078596 (međunarodna recenzija, prikaz, znanstveni)
doi www.tandfonline.com
2.

Kovač, Srećko
Bojan Marotti, Prema domovini misli: Ogledi o hrvatskoj filozofiji od Markovića do Cipre (Zagreb: Hrvatska sveučilišna naklada, 2019), 488 pp. // Prilozi za istraživanje hrvatske filozofske baštine, 47 (2021), 1; 131-134 doi:10.52685/pihfb (domaća recenzija, prikaz, znanstveni)
doi hrcak.srce.hr content.ifzg.hr
3.

Blackburn, Patrick; Kovač, Srećko; Świętorzecka, Kordula
Formal Methods and Science in Philosophy: Introduction to the Special Issue // Bulletin of the Section of Logic, 49 (2020), 2; 105-107 doi:10.18778/0138-0680.2020.06 (međunarodna recenzija, uvodnik, stručni)
doi czasopisma.uni.lodz.pl
4.

Kovač, Srećko
In memoriam Zlatko Posavac (1931–2019) // Prilozi za istraživanje hrvatske filozofske baštine, 45 (2019), 2; 573-578 (domaća recenzija, nekrolog, stručni)
hrcak.srce.hr content.ifzg.hr
5.

Kovač, Srećko
Berislav Žarnić (1959-2017) // Prolegomena, 16 (2017), 1; 75-82 (međunarodna recenzija, nekrolog, stručni)
hrcak.srce.hr
6.

Kovač, Srećko
A formalization of Gödelian causal theory // The bulletin of symbolic logic, 22 (2016), 3; 406-406 (podatak o recenziji nije dostupan, sažetak, znanstveni)
7.

Kovač, Srećko
Impossibilities, identities, and belief // The Bulletin of Symbolic Logic, 12 (2006), 3. (podatak o recenziji nije dostupan, sažetak, ostalo)
www.math.ucla.edu
8.

Kovač, Srećko
Edo Pivčević, Što je istina? // Filozofska istraživanja, 25 (2005), 4; 975-977 (podatak o recenziji nije dostupan, prikaz, znanstveni)
9.

Kovač, Srećko
Vinko Pacel // Logika, 1 (2000), 2. (podatak o recenziji nije dostupan, prikaz, znanstveni)
10.

Kovač, Srećko
Gjuro Arnold // Logika, 1 (2000), 1. (podatak o recenziji nije dostupan, prikaz, znanstveni)
11.

Kovač, Srećko
Elfriede Conrad, Kants Vorlesungen // Synthesis philosophica, 12 (1997), 1; 302-304 (podatak o recenziji nije dostupan, prikaz, stručni)

Radovi u zbornicima skupova

Znanstveni radovi u zbornicima skupova

1.

Kovač, Srećko
Concepts, space-and-time, metaphysics (Kant and the dialogue of John 4) // God, Time, Infinity / Szatkowski, Mirosław (ur.).
Berlin : Boston: Walter de Gruyter, 2018. str. 61-85 doi:9783110594164-005 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi www.degruyter.com
2.

Kovač, Srećko
Logic and truth in religious belief // God, Truth and Other Enigmas / Szatkowski, Mirosław (ur.).
Berlin : New York: Walter de Gruyter, 2015. str. 85-99 doi:10.1515/9783110418934-012 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi sites.google.com www.degruyter.com
3.

Kovač, Srećko
Logika opravdanja u Boškovićevoj indukciji // Filozofija Ruđera Josipa Boškovića / Stanković, Nikola ; Kutleša, Stipe ; Šestak, Ivan (ur.).
Zagreb: Filozofsko-teološki Institut Družbe Isusove, 2014. str. 153-168 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
4.

Kovač, Srećko
Logika i vjera // Suvremena znanost i vjera : Contemporary Science and Faith / Primorac, Zoran (ur.).
Mostar: Fakultet prirodoslovno-matematičkih i odgojnih znanosti Sveučilišta u Mostaru, 2011. str. 51-66 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
5.

Kovač, Srećko
O logici i metafizici vremena // Vrijeme metamorfoza: uz 'Metamorfoze metafizike' Marijana Cipre / Barbarić, Damir (ur.).
Zagreb: Matica hrvatska, 2009. str. 33-59 (pozvano predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)
6.

Kovač, Srećko
Moderna logika u hrvatskoj filozofiji 20. stoljeća // Hrvatska filozofija u XX. stoljeću / Barbarić, D. i Zenko, F. (ur.).
Zagreb: Matica hrvatska, 2007. str. 97-110 (pozvano predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)
7.

Kovač, Srećko
Filozofija u suvremeno doba // Izgledi povijesnog mišljenja / Paić, Žarko (ur.).
Zagreb: Tvrđa, 2006. str. 157-167 (predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)
8.

Kovač, Srećko
Filozofija je znanost // Filozofija i znanost(i) / Arnautović, Samir ; Kutleša, Stipe (ur.).
Sarajevo : Zagreb: Filozofska društvo Theoria, Matica hrvatska, 2006. str. 17 - 29 (predavanje, cjeloviti rad (in extenso), znanstveni)
9.

Kovač, Srećko
Marković i algebarska logika // Otvorena pitanja povijesti hrvatske filozofije / Barišić, Pavo (ur.).
Zagreb: Institut za filozofiju, 2000. str. 363-375 (predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)
Pristup cjelovitom tekstu rada

Drugi radovi u zbornicima skupova

1.

Kovač, Srećko
Marković i logika // Filozofijsko djelo Franje Markovića
Zagreb, Hrvatska, 2015. (pozvano predavanje, domaća recenzija, cjeloviti rad (in extenso), ostalo)

Sažeci sa skupova

Sažeci u zbornicima i časopisima

1.

Kovač, Srećko
Norms, counter-norms, and ontological proof // Formal Methods and Science in Philosophy IV: Abstracts / Kovač, Srećko ; Swietorzecka, Kordula (ur.).
Zagreb: Institut za filozofiju, 2022. str. 21-22 (predavanje, međunarodna recenzija, sažetak, znanstveni)
2.

Kovač, Srećko
Identitet i kontinuitet hrvatske filozofije // Hrvatska filozofija: nove teme i interpretacije
Zagreb, Hrvatska, 2021. str. web-stranica 1 (predavanje, domaća recenzija, sažetak, znanstveni)
www.ifzg.hr
3.

Kovač, Srećko
Formal Systems and Determinism // Formal Methods and Science in Philosophy III / Kovač, Srećko ; Świętorzecka, Kordula (ur.).
Zagreb: Institut za filozofiju, 2019. str. 14-15 (predavanje, međunarodna recenzija, sažetak, znanstveni)
4.

Kovač, Srećko
Evidence and self-evidence in the foundations of logic // Handbook of the 6th World Congress and School on Universal Logic / Béziau, Jean-Yves ; Buchsbaum, Arthur ; Rey, Christoph (ur.).
Vichy: Université Clermont-Vichy, 2018. str. 255-255 (predavanje, međunarodna recenzija, sažetak, znanstveni)
www.uni-log.org
5.

Kovač, Srećko
The concept of possibility in ontological proofs // The 2nd World Congress on Logic and Religion
Varšava: Institute of Philosophy, University of Warsaw, 2017. str. 48-48 (predavanje, međunarodna recenzija, sažetak, znanstveni)
logicandreligion.pl
6.

Kovač, Srećko
Logical laws in a formalization of a Kantian concept theory // Formal Methods and Science in Philosophy / Kovač, Srećko ; Świętorzecka, Kordula (ur.).
Zagreb: Institut za filozofiju, 2017. str. 7-7 (predavanje, međunarodna recenzija, sažetak, znanstveni)
www.iuc.hr
7.

Kovač, Srećko; Martinović, Ivica
The Croatian Reception of Hilbert's Axiomatic Method // The reception of Hilbert's axiomatic method in Central and Eastern Europe
Brno, Češka Republika, 2017. str. 5-5 (pozvano predavanje, međunarodna recenzija, sažetak, znanstveni)
hapoc2017.sciencesconf.org
8.

Kovač, Srećko
Dokaz mogućnosti Božje opstojnosti (Leibniz - Kant - Gödel) // Božje postojanje i Božji atributi
Zagreb, 2016. (predavanje, sažetak, znanstveni)
www.hrstud.unizg.hr
9.

Kovač, Srećko
Kant's Logic // Handbook of the 5th World Congress and School on Universal Logic / Béziau, Jean-Yves ; Ural, Safak ; Buchsbaum, Arthur i dr. (ur.).
Istanbul: Istanbul University, 2015. str. 51-54 (pozvano predavanje, međunarodna recenzija, sažetak, znanstveni)
www.uni-log.org
10.

Kovač, Srećko
Causal interpretation of Gödel's ontotheology // Formal Methods and Science in Philosophy
Dubrovnik, 2015. (predavanje, međunarodna recenzija, sažetak, ostalo)
11.

Kovač, Srećko
Formal and transcendental logic // 15th Congress of Logic, Methodology and Philosophy of Science : Logic Colloquium 2015
Helsinki, 2015. (predavanje, međunarodna recenzija, sažetak, ostalo)
www.helsinki.fi
12.

Kovač, Srećko
Concepts and time in religious discourse // God, Time, Infinity
Varšava, Poljska, 2015. (pozvano predavanje, međunarodna recenzija, sažetak, ostalo)
sites.google.com
13.

Kovač, Srećko
A Gödelian logic of causality // Non-Classical Logic. Theory and Applications
Toruń, 2015. (plenarno, međunarodna recenzija, sažetak, ostalo)
14.

Kovač, Srećko
A formalization of Gödelian causal theory // 15th Congress of Logic, Methodology and Philosophy of Science : Logic Colloquium 2015
Helsinki, 2015. (predavanje, međunarodna recenzija, sažetak, znanstveni)
www.helsinki.fi
15.

Kovač, Srećko
Proof and causation // Handbook of the 4th World Congress and School on Universal Logic / Béziau, Jean-Yves ; Buchsbaum, Arthur ; Costa-Leite, Alexandre (ur.).
Goiânia: Editora Kelps, 2013. str. 258-259 (predavanje, međunarodna recenzija, sažetak, znanstveni)
16.

Kovač, Srećko
Logika i filozofija u teoriji skupnoga odlučivanja // Filozofija u dijaloga sa znanostima
Zagreb, 2012. (predavanje, domaća recenzija, sažetak, znanstveni)
17.

Kovač, Srećko
Gödel’s ontological system and justification logic // Trends in Logic XI: Advances in Philosophical Logic
Bochum, Njemačka: Ruhr University Bochum, 2012. str. 34-34 (predavanje, međunarodna recenzija, sažetak, znanstveni)
18.

Kovač, Srećko
Logical oppositions and collective decisions // Hand Book of the Second World Congress of the Square of Opposition / Béziau, Jean-Yves ; Gan-Krzywoszyńska, Katarzyna (ur.).
Corte: Università di Corsica Pasquale Paoli, 2010. str. 58-58 (predavanje, međunarodna recenzija, sažetak, znanstveni)
19.

Kovač, Srećko
Agents, intensions, and paraconsistency // Handbook of the 2nd World Congress and School on Universal Logic / Béziau, Jean-Yves ; He, Huacan ; Costa-Leite, Alexandre ; Zhong, Yixin ; Ma, Yingcang (ur.).
Xi'an, 2007. (predavanje, međunarodna recenzija, sažetak, znanstveni)
www.uni-log.org
20.

Kovač, Srećko
Objects in belief: a consistency problem // 8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy - Logical Investigations / Trobok, Majda ; Ule, Andrej ; Žarnić, Berislav ; Golubović, Aleksandra (ur.).
Rijeka: University of Rijeka, Faculty of Arts and Sciences, 2006. (predavanje, međunarodna recenzija, sažetak, znanstveni)
ffri.hr
21.

Kovač, Srećko
Impossibilities, identities, and belief // 2005-06 Winter Meeting of the Association for Symbolic Logic
New York (NY), 2005. str. 9-9 (predavanje, međunarodna recenzija, sažetak, znanstveni)
22.

Kovač, Srećko
Clusters and modes of presentation // Handbook of the First World Congress and School on Universal Logic / Béziau, Jean-Yves ; Costa-Leite, Alexandre (ur.).
Montreux, Švicarska, 2005. str. 74-74 (predavanje, međunarodna recenzija, sažetak, znanstveni)
23.

Kovač, Srećko
Kant from Gödel's veiwpoint // Kant - 200 godina poslije : Kant - nach 200 Jahren : Kant 200 years after
Zagreb, Hrvatska, 2004. (predavanje, domaća recenzija, sažetak, znanstveni)
24.

Kovač, Srećko
Weakened Gödelian ontological systems // European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '02 / Bulletin of Symbolic Logic, 9(1) / Cummings, James (ur.).
Münster, Njemačka: Association for Symbolic Logic, 2003. str. 96-96 (poster, podatak o recenziji nije dostupan, sažetak, ostalo)
www.math.ucla.edu
25.

Kovač, Srećko
Belief and identity of objects // Volume of Abstracts: 12th International Congress of Logic, Methodology and Philosophy of Science / Alvarez, Eva ; Bosch, Roger ; Villamil, Lorena (ur.).
Oviedo: Departamento de Filosofia, Universidad de Oviedo, 2003. str. 105-106 (predavanje, međunarodna recenzija, sažetak, znanstveni)
26.

Kovač, Srećko
Weakened Gödelian ontological systems // Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet / Organizing Commitees (ur.).
Münster: Westfällische Wilhelms-Universität, 2002. (predavanje, međunarodna recenzija, sažetak, znanstveni)
27.

Kovač, Srećko
Gödel and Kant on ontological proof // The Bulletin of Symbolic Logic, 8 (2002) 1, 143-144 ; Annals of Kurt Gödel Society, Vol. 4
Beč, Austrija: Springer, 2001. (predavanje, međunarodna recenzija, sažetak, znanstveni)

Druga sudjelovanja na skupovima

1.

Kovač, Srećko
Sustavna cjelina i fragment // Filozofija u potrazi za samom sobom : simpozij u povodu 80. rođendana akademika prof. emer. Branka Despota
Zagreb, Hrvatska, 2022. (pozvano predavanje, domaća recenzija, neobjavljeni rad, znanstveni)
Pristup cjelovitom tekstu rada
2.

Kovač, Srećko
Logic and philosophy. // The Exceptionality of Logic. Logica Universalis Webinar
Cham, Švicarska, 2022. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni)
3.

Kovač, Srećko
Logic in Croatia // Logica Universalis Webinar
Heidelberg, Njemačka, 2021. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni)
www.youtube.com www.springer.com
4.

Kovač, Srećko
Theistic Foundations of Logic // Logic and Religion on the World Logic Day
Campina Grande, Brazil, 2021. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni)
www.youtube.com www.logicandreligion.com
5.

Kovač, Srećko
Evidence, Modalities, and Causation in Gödel's Formal Philosophy // Kurt Gödel: Philosophical Views
Lahti, 2019. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni)
page.mi.fu-berlin.de
6.

Kovač, Srećko
The formal and the informal in the foundations of logic // Formal and Informal Methods in Philosophy
Varšava, Poljska, 2018. (pozvano predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni)
filozofia.uw.edu.pl
7.

Kovač, Srećko
Concepts as intensions // Research Workshop on Hybrid Intensional Logic
Salamanca, Španjolska, 2017. (pozvano predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni)
eventum.usal.es
8.

Świętorzecka, Kordula; Kovač, Srećko
Gödel's "slingshot" argument and his onto-theological system // LX Konferencja Historii Logiki
Kraków, Poljska, 2014. (predavanje, međunarodna recenzija, neobjavljeni rad, ostalo)
9.

Kovač, Srećko
Marković i logika // Filozofijsko djelo Franje Markovića: simpozij u povodu stote obljetnice smrti Franje Markovića (1845-1914)
Zagreb, Hrvatska, 2014. (pozvano predavanje, domaća recenzija, pp prezentacija, znanstveni)
10.

Kovač, Srećko
Logical Principles and the Square of Oppositions // Logical Foundations of Metaphyiscs
Dubrovnik, Hrvatska, 2008. (predavanje, pp prezentacija, znanstveni)
11.

Kovač, Srećko
Intenzionalnost i intencionalnost // Otvorena pitanja filozofije
Zagreb, Hrvatska, 2007. (pozvano predavanje, pp prezentacija, znanstveni)
12.

Kovač, Srećko
Logic and knowledge // Logical Foundations of Metaphysics
Dubrovnik, Hrvatska, 2007. (pozvano predavanje, neobjavljeni rad, znanstveni)
13.

Kovač, Srećko
A logic of objects and appearances // Logical Foundations of Metaphysics
Dubrovnik, Hrvatska, 2007. (predavanje, neobjavljeni rad, znanstveni)

Ocjenski radovi

Doktorske disertacije

1.

Šekrst, Kristina
Logička formalizacija evidencije u evidencijalnim jezicima, 2022., doktorska disertacija, Zagreb
2.

Restović, Ivan
Logičko-pojmovna struktura Brouwerova intuicionizma, 2019., doktorska disertacija, Fakultet hrvatskih studija, Zagreb
3.

Lojkić, Goran
Razgranata teorija tipova kao intenzionalna logika, 2018., doktorska disertacija, Hrvatski studiji, Zagreb
repozitorij.hrstud.unizg.hr

Diplomski radovi (uključujući i diplomske radove starog programa)

1.

Šekrst, Kristina
Formalizacija, aksiomatizacija i klasifikacija primijenjene logike opravdanja: slučaj evidencijalnosti, 2014., diplomski rad, diplomski, Hrvatski studiji, Zagreb
2.

Restović, Ivan
Modalni prijevodi intuicionističke i posrednih logika, 2013., diplomski rad, diplomski, Hrvatski studiji, Zagreb
3.

Pandžić, Stipe
Logika opravdanja i formalna analiza znanja, 2012., diplomski rad, diplomski, Hrvatski studiji, Zagreb
4.

Restović, Ivan
Invarijantnost u modalnoj logici, 2011., diplomski rad, preddiplomski, Hrvatski studiji, Zagreb
5.

Prahin, Darija
Nestandardni modalni modeli, 2010., diplomski rad, preddiplomski, Filozofski fakultet, Osijek
6.

Skansi, Sandro
ZFC i russellovska nestandardna teorija skupova MP, 2009., diplomski rad, Hrvatski studiji, Zagreb
7.

Grisogono, Lovre
Istinitosno stablo: podrijetlo i primjena, 2008., diplomski rad, Hrvatski studiji, Zagreb
8.

Tokić, Slavenka
Aksiomatizacija šaha, 2007., diplomski rad, Hrvatski studiji, Zagreb
9.

Škopac, Andrija
Pojam nejasnosti u klasičnoj i neizrazitoj logici, 2006., diplomski rad, Hrvatski studiji, Zagreb
10.

Dožudić, Dušan
Fregeovo načelo kontekstualnosti, 2004., diplomski rad, Hrvatski studiji, Zagreb

Ostale vrste radova

1.

Kovač, Srećko
Immanuel Kant: Logic, 2020. (međunarodna recenzija, natuknica u enciklopediji, leksikonu, rječniku i sl.).
www.iep.utm.edu
2.

Kovač, Srećko
Uvod u logiku, 2012. (podatak o recenziji nije dostupan, rukopis).
moodle.carnet.hr
3.

Kovač, Srećko
Logic, 2007. (podatak o recenziji nije dostupan, natuknica u enciklopediji, leksikonu, rječniku i sl.).
4.

Kovač, Srećko
Elementarna logika, 2000. (podatak o recenziji nije dostupan, rukopis).
5.

Kovač, Srećko
Self-consciousness, observation sentences and first-order logic, 1998. (podatak o recenziji nije dostupan, rukopis).
6.

Kovač, Srećko
Logika, 1997. (podatak o recenziji nije dostupan, natuknica u enciklopediji, leksikonu, rječniku i sl.).
7.

Kovač, Srećko
Pojam jedinstva u logici, 1997. (podatak o recenziji nije dostupan, rukopis).