{"title":"独立友好逻辑——一种博弈论方法","authors":"A. Mann, G. Sandu, M. Sevenster","doi":"10.1017/CBO9780511981418","DOIUrl":null,"url":null,"abstract":"Preface 1. Introduction 2. Game theory 3. First-order logic 4. Independence-friendly (IF) logic 5. Properties of IF logic 6. Expressive power of IF logic 7. Probabilistic IF logic 8. Further topics References Index.","PeriodicalId":229879,"journal":{"name":"London Mathematical Society lecture note series","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"107","resultStr":"{\"title\":\"Independence-Friendly Logic - a Game-Theoretic Approach\",\"authors\":\"A. Mann, G. Sandu, M. Sevenster\",\"doi\":\"10.1017/CBO9780511981418\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Preface 1. Introduction 2. Game theory 3. First-order logic 4. Independence-friendly (IF) logic 5. Properties of IF logic 6. Expressive power of IF logic 7. Probabilistic IF logic 8. Further topics References Index.\",\"PeriodicalId\":229879,\"journal\":{\"name\":\"London Mathematical Society lecture note series\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"107\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"London Mathematical Society lecture note series\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1017/CBO9780511981418\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"London Mathematical Society lecture note series","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/CBO9780511981418","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Independence-Friendly Logic - a Game-Theoretic Approach
Preface 1. Introduction 2. Game theory 3. First-order logic 4. Independence-friendly (IF) logic 5. Properties of IF logic 6. Expressive power of IF logic 7. Probabilistic IF logic 8. Further topics References Index.