Independendly-Friendly Logic
Dependence and Independence of Quantifiers in Logic
Bibliographic Data
| ID | 4079599 |
|---|---|
| Authors | Gabriel Sandu (0000-0002-9014-8388, University of Helsinki, corresponding author) |
| Year | 2012 |
| Volume | 7 |
| Issue | 10 |
| Pages | 691-711 |
| Publication date | 2012-10-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Philosophy Compass (JOURNAL) |
| Journal identifiers | ISSN: 1747-9991 • E-ISSN: 1747-9991 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1747-9991.2012.00511.x |
| OpenAlex | W1587198369 |
| Language | EN |
| Citations received | 1 |
| References cited | 19 |
Independence-Friendly logic (IF-logic) introduced by Hintikka and Sandu (1989) studies patterns of dependence and independence of quantifiers which exceed those found in ordinary first-order logic. The present survey focuses on the game-theoretical interpretation of IF-logic, including connections to solution concepts (equilibria in mixed strategies) in classical game theory, but we shall also present its compositional interpretation together with its connections to notions of dependence and dependence between terms
Algebra over a field · Description logic · Epistemology · Higher-order logic · Many-valued logic · Mathematical economics · Multimodal logic · Philosophy of logic · Physics · Programming language · Pure mathematics · Quantum mechanics · Second-order logic · Statistics · Zeroth-order logic · Auction Theory and Applications · Computer Science · Game Theory and Applications · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Theoretical Computer Science
| Unique citing works | 1 |
|---|---|
| Citations per year | 0,08 |
| Citation span | 2013 - 2013 (1) |
| Citation velocity | historical |
| Highly cited | No |
| Citation types | Neutral: 1 |