Logic and Reality
(009-0091328-0941)

	Editor's books (1) Book chapters (3) Textbooks and scripts (1) Scientific papers in other journals (2) Papers in the publishing process (3) Scientific conference papers with international peer-review (2) Abstracts in Book of abstracts (3) Unpublished papers (10) Dissertations (1) Graduation thesis (4)   Printer version
	Editor's books
	1. Between Logic and Reality: Modelling Inference, Action and Understanding / Trobok, Majda; Žarnić, Berislav; Miščević, Nenad, editor(s). Dordrecht : Springer, 2011 (monograph).
	Book chapters
	1. Max Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov. Bounded memory Dolev-Yao adversaries in collaborative systems // Formal Aspects of Security and Trust Lecture Notes in Computer Science, 2011, Volume 6561/2011 / Degao, Pierpaolo ; Etalle, Sandro ; Guttman, Joshua, editor(s). Berlin : Springer, 2011. Str. 18-33. 2. Nenad Smokrović. Logical Consequence and Rationality // Between Logic and Reality / Trobok, M., Miscevic, N., Zarnic, B., editor(s). Heidelberg : Springer-Verlag GmbH, 2011. Str. 173-192. 3. Trobok, Majda. Debating (Neo)logicism: Frege and the neo-Fregeans // Between Logic and Reality: Modelling Inference, Action and Understanding / Trobok, Majda ; Žarnić, Berislav ; Miščević, Nenad, editor(s). Dordrecht : Springer, 2011. Str. 100-113.
	Textbooks and scripts
	1. Mirko Polonijo; Dean Crnkovic; Tajana Ban Kirigin; Mea Bombardelli; Zrinka Franusic; Rene Susanj. Euclidean spaces . Zagreb : PMF, 2008.
	Scientific papers in other journals
	1. Trobok, Majda. The Structuralist Account of Logic. // Croatian Journal of Philosophy. 8 (2008) , 23; 257-265 (journal article). 2. Smokrović, Nenad. Bishop and Trout on Reasoning. // Croatian Journal of Philosophy. 20 (2007) , 2; 287-294 (review article).
	Papers in the publishing process
	1. Trobok, Majda. Mathematics and Reality. // International studies in the philosophy of science. (2011) (accepted for publication). 2. Smokrović Nenad. Williamson's Ordinarism vs, Inferentialism. // Croatian journal of philosophy. (2010). 3. Trobok, Majda. The Apriority and the Understanding-Assent Link. // Croatian journal of philosophy. (2010) (accepted for publication).
	Scientific conference papers with international peer-review
	1. Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, Ranko. Towards an Automated Assistant for Clinical Investigations // . (lecture,international peer-review,published,scientific). 2. Trobok, Majda. The Reduction of Logic to Structures // Reduction and Elimination in Philosophy and the Sciences - Papers of the 31st International Wittgenstein Symposium / Hieke, Alexander ; Leitgeb, Hannes, editor(s). Kirchberg (Austrija) : Austrian Ludwig Wittgenstein Society, 2008. 356-358 (lecture,international peer-review,published,scientific).
	Abstracts in Book of abstracts
	1. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre. Progressing Collaborative Systems // . (lecture,abstract,scientific). 2. Trobok, Majda. Logic and Structures // . (invited talk,abstract,scientific). 3. Smokrović Nenad. Tale About Rationality and Reaso // . (lecture,abstract,scientific).
	Unpublished papers
	1. Trobok, Majda. Defending Analyticity // . (invited talk,unpublished,scientific). 2. Trobok, Majda. Debating Neo-logicism // . (invited talk,unpublished,scientific). 3. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre. Progressing Collaborative Systems // . 2010. (lecture,international peer-review,ppt presentation,scientific). 4. Smokrović, Nenad. Williamson's Ordinarism vs. Inferentialism // . (invited talk,unpublished,scientific). 5. Trobok, Majda. Remarks on Williamson's "The Philosophy of Philosphy" // . (invited talk,unpublished,scientific). 6. Nenad Smokrović. Rationality and Reasons // . (lecture,unpublished). 7. Trobok, Majda. Mathematics, Logics, Structures // . (invited talk,unpublished,scientific). 8. Trobok, Majda. The Structuralist Theory of Logic // . (invited talk,unpublished,scientific). 9. Trobok, Majda. Are There Any Sets out There? // . (lecture,international peer-review,unpublished,scientific). 10. Trobok, Majda. Hume's Principle and Sortal Concepts // . (invited talk,unpublished,scientific).
	Dissertations
	1. Ban Kirigin, Tajana. Computational complexity of collaborative systems with nonce creation / doctoral thesis. Zagreb : Prirodoslovno-matematički fakultet, Matematički odjel, 21.2. 2011., 139 pages. Mentor: Scedrov, Andre.
	Graduation thesis
	1. Arbula, Dino. Gödel's incompleteness proof for elementary arithmetic / graduate thesis. Rijeka : Filozofski fakultet, 24.11. 2010., 34 pages. Mentor: Trobok, Majda. 2. Bilandžija, Marija. Modal logic and the problem of trans-world identity / baccalaureus graduate thesis. Rijeka : Filozofski fakultet, 1.10. 2010., 26 pages. Mentor: Trobok, Majda. 3. Jadreškić, Darija. Reazons for actions and cognitive internalizm / pre-Bologna graduate thesis. Rijeka : Filozofski fakultet, 11.11. 2009., 56 pages. Mentor: Smokrović, Nenad. 4. Gregorić, Ana. The philosophical background of the Euclidean "Elements" / pre-Bologna graduate thesis. Rijeka : Filozofski fakultet, 14.9. 2007., 67 pages. Mentor: Trobok, Majda.