The following pages link to (Q5691485):
Displaying 50 items.
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts (Q253125) (← links)
- Between proof and truth (Q383057) (← links)
- Erratum to: ``Between proof and truth'' (Q383075) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- What is the axiomatic method? (Q408327) (← links)
- IF logic, definitions and the vicious circle principle (Q427230) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- The aim of Russell's early logicism: a reinterpretation (Q484963) (← links)
- Exploring the beta quadrant (Q513919) (← links)
- A remark on Henkin sentences and their contraries (Q558741) (← links)
- Truth and definite truth (Q598266) (← links)
- Tarski's definition and truth-makers (Q598268) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Equilibrium semantics of languages of imperfect information (Q636301) (← links)
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- On definability in dependence logic (Q735407) (← links)
- On the role of language in social choice theory (Q948988) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Propositional logic of imperfect information: Foundations and applications (Q1422098) (← links)
- The fallacies of the new theory of reference (Q1582269) (← links)
- The indefinability of ``one'' (Q1610608) (← links)
- Quantum logic as a fragment of independence-friendly logic (Q1610617) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- A logical analysis of Monty Hall and Sleeping Beauty (Q1756594) (← links)
- Which mathematical logic is the logic of mathematics? (Q1942095) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Dependence and independence (Q1956372) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- About effective versions of game theoretical semantics for first-order logic (Q2003259) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Classical negation and game-theoretical semantics (Q2258540) (← links)
- Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
- Hintikka memorial issue: introduction and remarks on Jaakko Hintikka's logical philosophy (Q2334648) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- To Peirce Hintikka's thoughts (Q2334658) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
