scientific article; zbMATH DE number 972408
From MaRDI portal
zbMath0869.03003MaRDI QIDQ5691485
Publication date: 29 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessmodel theoryTarski's theory of truthnegationphilosophy of mathematicsaxiomatizationconstructivismgame-theoretical semanticstruth definitionsdescriptive completenessIndependence Friendly first-order logiclimitations of set theory as the basis of mathematicsrole of logic in mathematical theorizingGödel's imcompleteness theorem
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Boolean dependence logic and partially-ordered connectives, Game Theoretical Semantics for Paraconsistent Logics, Doubly strongly first order dependencies, Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Argumentation and Proof in the Mathematics Classroom, Examining the Role of Logic in Teaching Proof, Hintikka's independence-friendly logic meets Nelson's realizability, Truth and definite truth, Tarski's definition and truth-makers, What languages have Tarski truth definitions?, Independence-friendly logic and axiomatic set theory, Between proof and truth, Erratum to: ``Between proof and truth, Axiomatizing first-order consequences in dependence logic, Game theoretical semantics for some non-classical logics, JAAKKO HINTIKKA 1929–2015, Alternating (in)dependence-friendly logic, Cooperation in games and epistemic readings of independence-friendly sentences, What is the axiomatic method?, Herbrand's fundamental theorem in the eyes of Jean van Heijenoort, Second-Order Logic and Foundations of Mathematics, Constructive semantics for instantaneous reactions, IF logic, definitions and the vicious circle principle, Equilibrium semantics of languages of imperfect information, Dependence of variables construed as an atomic formula, Some Philosophical Aspects of Semantic Theory of Truth, Categories of First-Order Quantifiers, Dependence and independence, Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information, Epistemic operators in dependence logic, Compositional natural language semantics using independence friendly logic or dependence logic, Unnamed Item, Semantic games with chance moves revisited: from IF logic to partial logic, How to Lewis a Kripke-Hintikka, Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information, Propositional logic of imperfect information: Foundations and applications, Complexity of two-variable dependence logic and IF-logic, Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies, The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting, Transition semantics: the dynamics of dependence logic, The aim of Russell's early logicism: a reinterpretation, Short Overview of the Development of Hintikka’s Work in Logic, From Pictures to Semantical Games: Hintikka’s Journey Through Semantic Representationalism, Is Natural Semantics Possible?—Ordinary English, Formal Deformations-cum-Reformations and the Limits of Model Theory, Dynamic Logics of Imperfect Information: From Teams and Games to Transitions, Questions of Epistemic Logic in Hintikka, Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications, Verificationism and Classical Realizability, On the role of language in social choice theory, Exploring the beta quadrant, Some combinatorics of imperfect information, A PSPACE-complete first-order fragment of computability logic, A logical analysis of Monty Hall and Sleeping Beauty, Henkin quantifiers and the definability of truth, The scope of Gödel's first incompleteness theorem, About effective versions of game theoretical semantics for first-order logic, Classical negation and game-theoretical semantics, Two simple sets that are not positively Borel, ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC, A remark on Henkin sentences and their contraries, IF modal logic and classical negation, On the formal semantics of IF-like logics, Thompson transformations for IF-logic, On the computational consequences of independence in propositional logic, CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES, Safe dependency atoms and possibility operators in team semantics, 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, On definability in dependence logic, LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE, Supervenience, Dependence, Disjunction, Team Logic and Second-Order Logic, Equivalence Criteria for Compositional IF Modal Logics, Reasoning about arbitrary natural numbers from a Carnapian perspective, The fallacies of the new theory of reference, Hybrid logic meets IF modal logic, Hintikka memorial issue: introduction and remarks on Jaakko Hintikka's logical philosophy, Hintikka and the functions of logic, To Peirce Hintikka's thoughts, Truth Definitions, Skolem Functions and Axiomatic Set Theory, Dialogue Games for Minimal Logic, A logic with revocable and refinable strategies, Hintikka on the foundations of mathematics: IF logic and uniformity concepts, The indefinability of ``one, Quantum logic as a fragment of independence-friendly logic
