|
|
|
|
Autorske knjige
|
|
|
|
|
Poglavlja u knjizi
|
|
1. Kovač, Srećko.
Contradictions, objects, and belief // Perspectives on Universal Logic / Béziau, Jean-Yves ; Costa-Leite, Alexandre (ur.).
Monza : Polimetrica, 2007.
Str. 417-434.
|
2. 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.
Str. 112.
|
3. Žarnić, Berislav.
Imperative change and obligation to do // Logic, Law, Morality (Thirteen essays in practical philosophy in honour of Lennart Aqvist) / Segerberg, Krister ; Sliwinski, Rysiek (ur.).
Uppsala : Uppsala Universitet, Department of Philosophy, 2003.
Str. 244.
|
4. Žarnić, Berislav.
Imperative negation and dynamic semantics // Meaning: The Dynamic Turn / Peregrin, Jaroslav (ur.).
Oxford : Elsevier, 2003.
Str. 300.
|
|
|
|
|
|
Udžbenici i skripta
|
|
1. Kovač, Srećko.
Logika .
Zagreb : Hrvatska sveučilišna naklada, 2004.
|
2. Kovač, Srećko.
Priručnik uz "Logiku" .
Zagreb : Hrvatska sveučilišna naklada, 2004.
|
3. Žarnić, Berislav.
Simbolička logika .
Split : [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu], 2004.
|
4. Kovač, Srećko.
Uvod u elementarnu logiku .
Zagreb : [web-stranice na poslužitelju Instituta za filozofiju], 2003.
|
|
|
|
|
|
Izvorni znanstveni i pregledni radovi u CC časopisima
|
|
|
|
|
Ostali radovi u CC časopisima
|
|
|
|
|
Znanstveni radovi u drugim časopisima
|
|
|
|
|
Kongresno priopćenje (sažeci) u CC časopisu
|
|
1. 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.).
Association for Symbolic Logic, 2003. 96-96 (poster,sažetak).
|
2. Žarnić, Berislav.
Prima facie consequence in update semantics for change
expressions // European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '02 / Bulletin of Symbolic Logic, 9(1) / Cummings, James (ur.).
Association for Symbolic Logic, 2003. 111-112 (poster,sažetak).
|
|
|
|
|
|
Objavljena pozvana predavanja na skupovima
|
|
1. 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. 97-110 (pozvano predavanje,domaća recenzija,objavljeni rad,znanstveni).
|
2. Žarnić, Berislav.
Dinamika znanja i obrazovanja // Škola nade - znanje i obrazovanje: poruke / Crnčić, Josip: Puževski, Valentin (ur.).
Križevci : Hrvatski pedagoško-književni zbor, 2004. 44-52 (pozvano predavanje,domaća recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
|
Znanstveni radovi u zbornicima skupova s međunar.rec.
|
|
1. Žarnić, Berislav.
Moods and Negation // .
(predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
2. Žarnić, Berislav.
Imperative logic, moods and sentence radicals // Proceedings of the Fourteenth Amsterdam Colloquium / Dekker, Paul ; Van Rooy, Robert (ur.).
Amsterdam : Institute for Logic, Language and Computation, 2003. 223-228 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
|
Drugi radovi u zbornicima skupova s recenzijom
|
|
1. Kovač, Srećko.
Filozofija u suvremeno doba // Izgledi povijesnog mišljenja / Paić, Žarko (ur.).
Zagreb : Tvrđa, 2006. 157-167 (predavanje,domaća recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
|
Radovi u zbornicima skupova bez recenzije
|
|
1. 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. 17 - 29 (predavanje,objavljeni rad,znanstveni).
|
|
|
|
|
|
Sažeci u zbornicima skupova
|
|
1. 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. 8 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
2. Žarnić, Berislav.
A labelled deduction system for Kanger's deontic-praxeological logic // 8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations / Trobok, Majda ; Ule, Andrej ; Žarnić, Berislav ; Golubović, Aleksandra (ur.).
Rijeka : University of Rijeka, Faculty of Arts and Sciences, 2006. 11 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
3. 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.).
2005. 74-74 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
4. Kovač, Srećko.
Impossibilities, identities, and belief // 2005-06 Winter Meeting of the Association for Symbolic Logic.
New York (NY), 2005. 9-9 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
5. Kovač, Srećko.
Kant from Gödel's veiwpoint // Kant - 200 godina poslije : Kant - nach 200 Jahren : Kant 200 years after.
(predavanje,domaća recenzija,sažetak,znanstveni).
|
6. Žarnić, Berislav.
Pravo na obrazovanje i Kangerova teorija prava // Filozofija i odgoj u suvremenom društvu ; Petrić i renesansne filozofske tradicije / Jurić, Hrvoje (ur.).
Zagreb : Hrvatsko filozofsko društvo, 2004. 129-130 (predavanje,sažetak,znanstveni).
|
7. 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. 105-106 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
8. 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. 40 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
9. Žarnić, Berislav.
Prima facie consequence in update semantics for change expressions // Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet / Organizing Commitees (ur.).
Münster : Westfällische Wilhelms-Universität, 2002. 59-60 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
|
|
|
|
|
Diplomski radovi
|
|
|
|
|
Druge vrste radova
|
|
|
|
|
|