Independendly-Friendly Logic
Dependence and Independence of Quantifiers in Logic
Datos Bibliográficos
| ID | 4079599 |
|---|---|
| Autores | Gabriel Sandu (0000-0002-9014-8388, University of Helsinki, autor de correspondencia) |
| Año | 2012 |
| Volumen | 7 |
| Número | 10 |
| Páginas | 691-711 |
| Fecha de publicación | 2012-10-01 |
| Peer Reviewed | Sí |
| Open Access | Sí |
| Tipo | ARTICLE |
| Revista | Philosophy Compass (JOURNAL) |
| Identificadores de la revista | ISSN: 1747-9991 • E-ISSN: 1747-9991 |
| Editorial | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1747-9991.2012.00511.x |
| OpenAlex | W1587198369 |
| Idioma | EN |
| Citas recibidas | 1 |
| Referencias citadas | 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
| Obras citantes distintas | 1 |
|---|---|
| Citas por año | 0,08 |
| Intervalo de citas | 2013 - 2013 (1) |
| Velocidad de citación | historical |
| Altamente citado | No |
| Tipos de cita | Neutras: 1 |