Pronađeno 36 radova, za izraz:
"PROJEKT: (Logika i stvarnost (MZOS-009-0091328-0941))"
DODAJ/IZMIJENI OPERATORE PRETRAŽIVANJA
Prikaz po CROSBI kategorijama
-
1.Between Logic and Reality: Modelling Inference, Action and Understanding / Trobok, Majda ; Žarnić, Berislav ; Miščević, Nenad (ur.). Dordrecht: Springer, 2011 (monografija)
-
1.Trobok, MajdaKvaziperceptivna intuicija i njena uloga u spoznaji aritmetičkih istina // Nenad Miščević: sva lica filozofije / Bojanić, Petar ; Prijić-Samaržija Snježana (ur.).
Beograd: Institut za filozofiju i društvenu teoriju Univerziteta u Beogradu, 2012. str. 173-178 -
2.Trobok, MajdaDebating (Neo)logicism: Frege and the neo-Fregeans // Between Logic and Reality: Modelling Inference, Action and Understanding / Trobok, Majda ; Žarnić, Berislav ; Miščević, Nenad (ur.).
Dordrecht: Springer, 2011. str. 100-113 -
3.Nenad SmokrovićLogical Consequence and Rationality // Between Logic and Reality / Trobok, M., Miscevic, N., Zarnic, B. (ur.).
Heidelberg: Springer, 2011. str. 173-192 -
1.Polonijo, Mirko; Crnković, Dean; Ban Kirigin, Tajana; Bombardelli, Mea; Franušić, Zrinka; Sušanj, ReneEuklidski prostori
Zagreb: Prirodoslovno-matematički fakultet Sveučilišta u Zagrebu, 2008 -
1.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded Memory Protocols // Computer languages systems & structures, 40 (2014), 3/4; 137-154 doi:10.1016/j.cl.2014.05.003 (međunarodna recenzija, članak, znanstveni)
-
2.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreProgressing Collaborative Systems // Advances in Computer Science : an International Journal, 3 (2014), 3; 78-86 (međunarodna recenzija, članak, znanstveni)
-
3.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded memory Dolev-Yao adversaries in collaborative systems // Information and computation, Special issue on Security and Rewriting Techniques, 238 (2014), 233-261 doi:10.1016/j.ic.2014.07.011 (međunarodna recenzija, članak, znanstveni)
-
4.Trobok, MajdaDefending Analyticity: Remarks on Williamson’s The Philosophy of Philosophy // Croatian journal of philosophy, XIII (2013), 37; 29-35 (međunarodna recenzija, članak, znanstveni)
-
5.Trobok, MajdaMathematics and Reality // International studies in the philosophy of science, 25 (2011), 4; 411-415 (međunarodna recenzija, članak, znanstveni)
-
6.Trobok, MajdaThe Structuralist Account of Logic // Croatian Journal of Philosophy, 8 (2008), 23; 257-265 (međunarodna recenzija, članak, znanstveni)
-
7.Smokrović, NenadBishop and Trout on Reasoning // Croatian journal of philosophy, 20 (2007), 2; 287-294 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)
-
1.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded Memory Protocols and Progressing Collaborative Systems // Lecture Notes in Computer Science, Volume 8134 / Crampton, Jason ; Jajodia, Sushil ; Mayes, Keith (ur.).
Egham, Ujedinjeno Kraljevstvo: Springer, 2013. str. 309-326 doi:10.1007/978-3-642-40203-6_18 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
2.Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, RankoTowards an Automated Assistant for Clinical Investigations // ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. (ur.).
Miami (FL), Sjedinjene Američke Države: ACM, 2012. str. 773-778 doi:10.1145/2110363.2110456 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
3.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded memory Dolev-Yao adversaries in collaborative systems // Lecture Notes in Computer Science, Volume 6561 / Degano, Pierpaolo ; Etalle, Sandro and Guttman, Joshua D. (ur.).
Pisa, Italija: Springer, 2011. str. 18-33 doi:10.1007/978-3-642-19751-2_2 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
4.Trobok, MajdaThe Reduction of Logic to Structures // Reduction and Elimination in Philosophy and the Sciences - Papers of the 31st International Wittgenstein Symposium / Hieke, Alexander ; Leitgeb, Hannes (ur.).
Kirchberg am Wechsel: Austrian Ludwig Wittgenstein Society, 2008. str. 356-358 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
1.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreTimed Collaborative Systems with Real Time // Logic and Applications 2013, Book of Abstracts
Dubrovnik, Hrvatska, 2013. str. 9-11 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
1.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynTowards Timed Models for Cyber-Physical Security Protocols // Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography
Beč, Austrija, 2014. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
2.Trobok, MajdaDefending Analyticity // Mind, World and Action
Dubrovnik, Hrvatska, 2010. (pozvano predavanje, neobjavljeni rad, znanstveni) -
3.Trobok, MajdaDebating Neo-logicism // Analytic Philosophy - Logical Consequence
Dubrovnik, Hrvatska, 2010. (pozvano predavanje, neobjavljeni rad, znanstveni) -
4.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreProgressing Collaborative Systems // Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010)
Edinburgh, Ujedinjeno Kraljevstvo, 2010. (predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
5.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreProgressing Collaborative Systems // Information Security and Related Combinatorics, Opatija, Croatia, May 31, 2010 - June 11, 2010
Opatija, Hrvatska, 2010. (predavanje, međunarodna recenzija, sažetak, znanstveni) -
6.Trobok, MajdaLogics and Structures // Contemporary Philosophical Issues – Logic and Reality
Rijeka, Hrvatska, 2009. (pozvano predavanje, sažetak, znanstveni) -
7.Trobok, MajdaRemarks on Williamson's "The Philosophy of Philosphy" // Mind, World and Action
Dubrovnik, Hrvatska, 2009. (pozvano predavanje, neobjavljeni rad, znanstveni) -
8.Smokrović, NenadWilliamson's Ordinarism vs. Inferentialism // "Mind, Word and Action"
Dubrovnik, Hrvatska, 2009. (pozvano predavanje, neobjavljeni rad, znanstveni) -
9.Trobok, MajdaMathematics, Logics, Structures // Contemporary Philosophical Issues: Truth, Justice and Beauty
Rijeka, Hrvatska, 2008. (pozvano predavanje, neobjavljeni rad, znanstveni) -
10.Smokrović NenadTale About Rationality and Reasons // "Analitic Philosophy: Etics"
Dubrovnik, Hrvatska, 2008. (predavanje, sažetak, znanstveni) -
11.Trobok, MajdaThe Structuralist Theory of Logic // Logical Foundations of Metaphysics
Dubrovnik, Hrvatska, 2008. (pozvano predavanje, neobjavljeni rad, znanstveni) -
12.Nenad SmokrovićRationality and Reasons // "Analitytical Philosophy:Ethics"
Dubrovnik, Hrvatska, 2008. (predavanje, neobjavljeni rad, ostalo) -
13.Trobok, MajdaAre There Any Sets out There? // SEFA 5 – 5th Conference of The Spanish Society for Analytic Philosophy
Barcelona, Španjolska, 2007. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
14.Trobok, MajdaHume's Principle and Sortal Concepts // Logical Foundations of Metaphysics
Dubrovnik, Hrvatska, 2007. (pozvano predavanje, neobjavljeni rad, znanstveni) -
1.Ban Kirigin, TajanaComputational complexity of collaborative systems with nonce creation, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
1.Arbula, DinoGödelov dokaz nepotpunosti za elementarnu aritmetiku, 2010., diplomski rad, diplomski, Filozofski fakultet, Rijeka
-
2.Bilandžija, MarijaModalna logika i problem trans-svjetovnog identiteta, 2010., diplomski rad, preddiplomski, Filozofski fakultet, Rijeka
-
3.Jadreškić, DarijaRazlozi za radnje i kognitivni internallizam, 2009., diplomski rad, Filozofski fakultet, Rijeka
-
4.Gregorić, AnaFilozofski okvir Euklidovih "Elemenata", 2007., diplomski rad, Filozofski fakultet, Rijeka
