The Logica Yearbook

abstraction accept argument assertion axioms Barbara XQM belief revision Bolzano classical classical logic concept consider construction context deduction defined definition denoted dicto disjunction domain Duží entities epistemic epistemic logic equivalent error evaluating example exist explanatory expressions false finite sets formal formula Frege function fuzzy illocutionary Indefinite Descriptions individual inference intensional interpreted algebra intuition intuitionistic logic judgement knows Kripke semantics language linguistic logical constants logical structure logicians means metaphysics modal logic natural numbers negation notion Novák objects operation ordered algebra paraconsistent paraconsistent logic Philosophy possible worlds pragmatic predicate logic premise principle probability problem proof proposed proposition Proslogion quantifiers Ramsey Ramsey's relation result rules schema statement supposition syntactic T-schema tbtp tbtq theorem Tichý tion Tr(tbtp true truth predicate truth value truth value set type of order type theory v-constructs valid valuation variables τω