Pregled po projektu: 0191009

1.

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

Žarnić, Berislav
U perspektivi dinamične semantike: valjanost praktičnog zaključka. Zagreb: Hrvatsko filozofsko društvo, 2005 (monografija)

Poglavlja u knjigama

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
Pristup cjelovitom tekstu rada www.ifzg.hr books.google.com
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.
3.

Žarnić, Berislav
Imperative negation and dynamic semantics // Meaning: The Dynamic Turn / Peregrin, Jaroslav (ur.).
Oxford: Elsevier, 2003.
4.

Ž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.
Pristup cjelovitom tekstu rada

Obrazovni materijali

Ostalo

1.

Žarnić, Berislav
Simbolička logika
Split: [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu], 2004
www.vusst.hr
2.

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

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

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

Radovi u časopisima

Znanstveni i pregledni radovi

1.

Žarnić, Berislav
Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava // Filozofska istraživanja, 26 (2006), 3; 731-755 (podatak o recenziji nije dostupan, članak, znanstveni)
Pristup cjelovitom tekstu rada
2.

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

Drugi radovi u časopisima

1.

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
2.

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

Radovi u zbornicima skupova

Znanstveni radovi u zbornicima skupova

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. str. 97-110 (pozvano predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)
2.

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)
3.

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)
4.

Žarnić, Berislav
Moods and Negation // 1st World Congress on Universal Logic
Montreux, Švicarska, 2005. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Pristup cjelovitom tekstu rada www.ffst.hr
5.

Ž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. str. 44-52 (pozvano predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)
6.

Ž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. str. 223-228 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Pristup cjelovitom tekstu rada

Sažeci sa skupova

Sažeci u zbornicima i časopisima

1.

Ž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. (predavanje, međunarodna recenzija, sažetak, znanstveni)
2.

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
3.

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)
4.

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)
5.

Ž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. str. 129-130 (predavanje, sažetak, znanstveni)
6.

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)
7.

Ž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.).
Münster, Njemačka: Association for Symbolic Logic, 2003. str. 111-112 (poster, podatak o recenziji nije dostupan, sažetak, ostalo)
www.math.ucla.edu
8.

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
9.

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)
10.

Ž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. str. 59-60 (predavanje, međunarodna recenzija, sažetak, znanstveni)
11.

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)

Ocjenski radovi

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

1.

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

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

Ostale vrste radova

1.

Žarnić, Berislav
Imperative Logic, 2005. (podatak o recenziji nije dostupan, popularni rad).
www.ffst.hr www.vusst.hr
2.

Žarnić, Berislav
Interaktivna logika, 2003. (podatak o recenziji nije dostupan, popularni rad).
www.ffst.hr