@inbook{inbook,
author = {Kova\v{c}, Sre\'{c}ko},
editor = {B\'{e}ziau, Jean-Yves and Costa-Leite, Alexandre},
year = {2007},
pages = {417-434},
keywords = {appearance, belief, cluster, contradiction, de dicto belief, de re belief, intension, local reasoning, mode of presentation},
title = {Contradictions, objects, and belief},
keyword = {appearance, belief, cluster, contradiction, de dicto belief, de re belief, intension, local reasoning, mode of presentation},
publisher = {Polimetrica}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2007},
pages = {97-110},
keywords = {algebraic logic, modern logic, mathematical logic, Nagy, A., Mer\v{s}i\'{c}, M., Markovi\'{c}, F. pl., Devide, V., Petrovi\'{c}, G., Festini, H., \v{S}vob, G., \v{S}iki\'{c}, Z.},
title = {Modern logic in Croatian philosophy of the 20th century},
keyword = {algebraic logic, modern logic, mathematical logic, Nagy, A., Mer\v{s}i\'{c}, M., Markovi\'{c}, F. pl., Devide, V., Petrovi\'{c}, G., Festini, H., \v{S}vob, G., \v{S}iki\'{c}, Z.},
publisher = {Matica hrvatska},
publisherplace = {Zagreb, Hrvatska}
}
@article{article,
author = {\v{Z}arni\'{c}, Berislav},
editor = {Trobok, Majda and Ule, Andrej and \v{Z}arni\'{c}, Berislav and Golubovi\'{c}, Aleksandra},
year = {2006},
pages = {11},
keywords = {labelled deduction, Kanger, deontic logic, theory of rights},
title = {A labelled deduction system for Kanger's deontic-praxeological logic},
keyword = {labelled deduction, Kanger, deontic logic, theory of rights},
publisher = {University of Rijeka, Faculty of Arts and Sciences},
publisherplace = {Rijeka, Hrvatska}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
editor = {Trobok, Majda and Ule, Andrej and \v{Z}arni\'{c}, Berislav and Golubovi\'{c}, Aleksandra},
year = {2006},
pages = {8},
keywords = {belief, de re belief, modal semantics, inconsistency},
title = {Objects in belief: a consistency problem},
keyword = {belief, de re belief, modal semantics, inconsistency},
publisher = {University of Rijeka, Faculty of Arts and Sciences},
publisherplace = {Rijeka, Hrvatska}
}
@phdthesis{phdthesis,
author = {\v{S}kopac, Andrija},
year = {2006},
pages = {37},
keywords = {vagueness, sorites, fuzzy logic, linguistic variable, hedge, Zadeh, L., Haack, S.},
title = {The Concept of Vagueness in the Classical and Fuzzy Logic},
keyword = {vagueness, sorites, fuzzy logic, linguistic variable, hedge, Zadeh, L., Haack, S.},
publisherplace = {Zagreb}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2006},
pages = {509},
keywords = {belief, identity, modal logic, non-standard semantics, tableau},
journal = {The Bulletin of Symbolic Logic},
volume = {12},
number = {3},
title = {Impossibilities, identities, and belief},
keyword = {belief, identity, modal logic, non-standard semantics, tableau}
}
@article{article,
author = {\v{Z}arni\'{c}, Berislav},
year = {2006},
pages = {731-755},
keywords = {labelled natural deduction, modal logic, deontic-praxeological logic, Kanger},
journal = {Filozofska istra\v{z}ivanja},
volume = {26},
number = {3},
title = {A Labelled Natural Deduction System for Kanger's Theory of Rights},
keyword = {labelled natural deduction, modal logic, deontic-praxeological logic, Kanger}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
editor = {Pai\'{c}, \v{Z}arko},
year = {2006},
pages = {157-167},
keywords = {philosophy, realisation of philosophy, work, world of work, science, scientific history},
title = {Philosophy in contemporary age},
keyword = {philosophy, realisation of philosophy, work, world of work, science, scientific history},
publisher = {Tvr\dja},
publisherplace = {Zagreb, Hrvatska}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
editor = {Arnautovi\'{c}, Samir and Kutle\v{s}a, Stipe},
year = {2006},
pages = {17 - 29},
keywords = {philosophy, logic, incompleteness, truth, computability, knowledg, belief, belief change},
title = {Philosophy is a science},
keyword = {philosophy, logic, incompleteness, truth, computability, knowledg, belief, belief change},
publisher = {Filozofska dru\v{s}tvo Theoria, Matica hrvatska},
publisherplace = {Sarajevo, Bosna i Hercegovina}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2005},
pages = {975-977},
keywords = {truth, redundancy, objectivity, certainty, indexicality, tense, event},
journal = {Filozofska istra\v{z}ivanja},
volume = {25},
number = {4},
title = {Edo Piv\v{c}evi\'{c}, What is truth?},
keyword = {truth, redundancy, objectivity, certainty, indexicality, tense, event}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2005},
pages = {9-9},
keywords = {contradictory belief, de re belief, de dicto belief, identity of objects, mode of presentation, tableau},
title = {Impossibilities, identities, and belief},
keyword = {contradictory belief, de re belief, de dicto belief, identity of objects, mode of presentation, tableau},
publisherplace = {New York, SAD}
}
@unknown{unknown,
author = {\v{Z}arni\'{c}, Berislav},
year = {2005},
keywords = {imperative logic, semantics of imperatives},
title = {Imperative Logic},
keyword = {imperative logic, semantics of imperatives}
}
@article{article,
author = {\v{Z}arni\'{c}, Berislav},
year = {2005},
keywords = {imperative logic, dynamic semantics, negation, expressive power},
title = {Moods and Negation},
keyword = {imperative logic, dynamic semantics, negation, expressive power},
publisherplace = {Montreux, \v{S}vicarska}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
editor = {B\'{e}ziau, Jean-Yves and Costa-Leite, Alexandre},
year = {2005},
pages = {74-74},
keywords = {cluster, mode of presentation, inconsistency, belief, obligation, time},
title = {Clusters and modes of presentation},
keyword = {cluster, mode of presentation, inconsistency, belief, obligation, time},
publisherplace = {Montreux, \v{S}vicarska}
}
@book{book,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2005},
pages = {X, 177},
keywords = {logic, philosophy, ontology, name, theory of types, knowledge, belief, ontological proof, Quine, G\"{o}del, F. pl. Markovi\'{c}, M. Mer\v{s}i\'{c}},
title = {Logical-Philosophical Essays},
keyword = {logic, philosophy, ontology, name, theory of types, knowledge, belief, ontological proof, Quine, G\"{o}del, F. pl. Markovi\'{c}, M. Mer\v{s}i\'{c}},
publisher = {Hrvatsko filozofsko dru\v{s}tvo}
}
@book{book,
author = {\v{Z}arni\'{c}, Berislav},
year = {2005},
pages = {298},
keywords = {imperative logic, dynamic semantics, practical inference},
title = {From the Perspective of Dynamic Semantics: Validity of Practical Inference},
keyword = {imperative logic, dynamic semantics, practical inference},
publisher = {Hrvatsko filozofsko dru\v{s}tvo}
}
@phdthesis{phdthesis,
author = {Do\v{z}udi\'{c}, Du\v{s}an},
year = {2004},
pages = {43},
keywords = {Frege, context, semantic principle of contextuality, epistemic principle of contextuality, cardinal number, explicit definition},
title = {Frege's Principle of Contextuality},
keyword = {Frege, context, semantic principle of contextuality, epistemic principle of contextuality, cardinal number, explicit definition},
publisherplace = {Zagreb}
}
@article{article,
author = {\v{Z}arni\'{c}, Berislav},
editor = {Juri\'{c}, Hrvoje},
year = {2004},
pages = {129-130},
keywords = {theory of rights, deontic logic, right to education},
title = {The Right to Education and Kanger's Theory of Rights},
keyword = {theory of rights, deontic logic, right to education},
publisher = {Hrvatsko filozofsko dru\v{s}tvo},
publisherplace = {Cres, Hrvatske}
}
@article{article,
author = {\v{Z}arni\'{c}, Berislav},
year = {2004},
pages = {44-52},
keywords = {logic, knowledge, education},
title = {Dynamics of Knowledge and Education},
keyword = {logic, knowledge, education},
publisher = {Hrvatski pedago\v{s}ko knji\v{z}evni zbor},
publisherplace = {Kri\v{z}evci, Hrvatska}
}
@unknown{unknown,
author = {\v{Z}arni\'{c}, Berislav},
year = {2004},
pages = {294},
keywords = {first order logic, metatheory, computability, modal logic},
title = {Symbolic Logic},
keyword = {first order logic, metatheory, computability, modal logic},
publisher = {[web-stranice na poslu\v{z}itelju Visoke u\v{c}iteljske \v{s}kole Sveu\v{c}ili\v{s}ta u Splitu]}
}
@unknown{unknown,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2004},
pages = {64},
keywords = {logic, terminology, logical consequence, categorical form, propositional logic, predicate logic, methodology, induction, truth-tree},
title = {Handbook for "Logic"},
keyword = {logic, terminology, logical consequence, categorical form, propositional logic, predicate logic, methodology, induction, truth-tree},
publisher = {Hrvatska sveu\v{c}ili\v{s}na naklada}
}
@unknown{unknown,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2004},
pages = {169},
keywords = {Concept, categorical judgement, categorical inference, proposition, connective, truth-table, satisfiability, validity, equivalence, proof, quantifier, logical square, definition, division, inductive inference, method},
title = {Logic},
keyword = {Concept, categorical judgement, categorical inference, proposition, connective, truth-table, satisfiability, validity, equivalence, proof, quantifier, logical square, definition, division, inductive inference, method},
publisher = {Hrvatska sveu\v{c}ili\v{s}na naklada}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2004},
keywords = {Kant, G\"{o}del, incompleteness theorem, ontological proof, time, monadology},
title = {Kant from G\"{o}del's veiwpoint},
keyword = {Kant, G\"{o}del, incompleteness theorem, ontological proof, time, monadology},
publisherplace = {Zagreb, Hrvatska}
}
@article{article,
year = {2003},
pages = {111-112},
keywords = {imperative logic, consequence relation, dynamic semantics},
journal = {The Bulletin of Symbolic Logic},
volume = {9},
number = {1},
title = {Prima facie consequence in update semantics for change expressions},
keyword = {imperative logic, consequence relation, dynamic semantics}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2003},
pages = {96},
keywords = {G\"{o}del, ontological proof, completeness proof},
journal = {The Bulletin of Symbolic Logic},
volume = {9},
number = {1},
title = {Weakened G\"{o}delian ontological systems},
keyword = {G\"{o}del, ontological proof, completeness proof}
}
@unknown{unknown,
author = {\v{Z}arni\'{c}, Berislav},
year = {2003},
keywords = {logic learning tools, first order logic, metatheory, computability},
title = {Interactive Logic},
keyword = {logic learning tools, first order logic, metatheory, computability}
}
@article{article,
author = {\v{Z}arni\'{c}, Berislav},
editor = {Dekker, Paul and Van Rooy, Robert},
year = {2003},
pages = {223-228},
keywords = {imperative logic, dynamic semantics, mood, modality},
title = {Imperative logic, moods and sentence radicals},
keyword = {imperative logic, dynamic semantics, mood, modality},
publisher = {Institute for Logic, Language and Computation},
publisherplace = {Amsterdam, Nizozemska}
}
@inbook{inbook,
author = {Kova\v{c}, Sre\'{c}ko},
editor = {Zovko, Jure},
year = {2003},
pages = {112},
keywords = {Croatian philosophy, scolastic philosophy, modern philosphy, symbolic logic, philosophy of law, \v{C}u\v{c}i\'{c}, Markovi\'{c}, logic, ontology, metaphysics, esthetics},
title = {Croatian philosophy in the 19th century},
keyword = {Croatian philosophy, scolastic philosophy, modern philosphy, symbolic logic, philosophy of law, \v{C}u\v{c}i\'{c}, Markovi\'{c}, logic, ontology, metaphysics, esthetics},
publisher = {Gardez!}
}
@unknown{unknown,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2003},
pages = {210},
keywords = {sentence logic, predicate logic, sentence, formula, truth, validity, satisfiability, truth tree, natural deduction, theorem, soundness, completeness, maximal consistent set, omega complete set},
title = {Introduction to elementary logic},
keyword = {sentence logic, predicate logic, sentence, formula, truth, validity, satisfiability, truth tree, natural deduction, theorem, soundness, completeness, maximal consistent set, omega complete set},
publisher = { and \#91;web-stranice na poslu\v{z}itelju Instituta za filozofiju and \#93;}
}
@inbook{inbook,
author = {\v{Z}arni\'{c}, Berislav},
editor = {Peregrin, Jaroslav},
year = {2003},
pages = {300},
keywords = {negation, imperative logic, dynamic semantics},
title = {Imperative negation and dynamic semantics},
keyword = {negation, imperative logic, dynamic semantics},
publisher = {Elsevier}
}
@inbook{inbook,
author = {\v{Z}arni\'{c}, Berislav},
editor = {Segerberg, Krister and Sliwinski, Rysiek},
year = {2003},
pages = {244},
keywords = {imperative logic, deontic logic, negation},
title = {Imperative change and obligation to do},
keyword = {imperative logic, deontic logic, negation},
publisher = {Department of Philosophy, Uppsala University}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2003},
pages = {565-588},
keywords = {G\"{o}del, God-like, modal ultrafilter, ontological proof, positive property, relative consistency, Kant, type},
journal = {Journal of philosophical logic},
volume = {32},
number = {6},
title = {Some weakened G\"{o}delian ontological systems},
keyword = {G\"{o}del, God-like, modal ultrafilter, ontological proof, positive property, relative consistency, Kant, type}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
editor = {Alvarez, Eva and Bosch, Roger and Villamil, Lorena},
year = {2003},
pages = {105-106},
keywords = {belief, identity, object, belief state, first-order epistemic logic},
title = {Belief and identity of objects},
keyword = {belief, identity, object, belief state, first-order epistemic logic},
publisher = {Departamento de Filosofia, Universidad de Oviedo},
publisherplace = {Oviedo, \v{S}panjolska}
}
@article{article,
author = {\v{Z}arni\'{c}, Berislav},
year = {2002},
pages = {59-60},
keywords = {imperative logic, consequence relation, dynamic semantics},
title = {Prima facie consequence in update semantics for change expressions},
keyword = {imperative logic, consequence relation, dynamic semantics},
publisher = {Westf\"{a}llische Wilhelms-Universit\"{a}t},
publisherplace = {M\"{u}nster, Njema\v{c}ka}
}
@article{article,
author = {Kova\v{c}, Sre\'{c}ko},
year = {2002},
pages = {40},
keywords = {G\"{o}del, ontological proof, completeness proof},
title = {Weakened G\"{o}delian ontological systems},
keyword = {G\"{o}del, ontological proof, completeness proof},
publisher = {Westf\"{a}llische Wilhelms-Universit\"{a}t},
publisherplace = {M\"{u}nster, Njema\v{c}ka}
}