{"title":"History and Development of Indian Logic: An Overview","authors":"K. Ramasubramanian","doi":"10.1007/978-94-007-0080-2_17","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_17","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"555 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123930068","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Logic Games: From Tools to Models of Interaction","authors":"J. Benthem","doi":"10.1007/978-94-007-0080-2_11","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_11","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128695980","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Temporal Logic with Preferences and Reasoning About Games","authors":"G. Venkatesh","doi":"10.1007/978-94-007-0080-2_14","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_14","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125295302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Deductive Systems of Fuzzy Logic","authors":"P. Hájek","doi":"10.1007/978-94-007-0080-2_5","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_5","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124817665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Two Applications of Epistemic Logic in Computer Security","authors":"R. V. D. Meyden","doi":"10.1007/978-94-007-0080-2_9","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_9","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129165648","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"What Is Mathematical Logic? A Survey","authors":"J. Crossley","doi":"10.1007/978-94-007-0080-2_1","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_1","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130341368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"From Sentence Meanings to Full Semantics","authors":"W. Hodges","doi":"10.1007/978-94-007-0080-2_15","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_15","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"279 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133002861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Visit to Tarski's Seminar on Elimination of Quantifiers","authors":"W. Hodges","doi":"10.1007/978-94-007-0080-2_4","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_4","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114585201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic","authors":"F. Cicalese, D. Mundici","doi":"10.1007/978-94-007-0080-2_8","DOIUrl":"https://doi.org/10.1007/978-94-007-0080-2_8","url":null,"abstract":"","PeriodicalId":288998,"journal":{"name":"Proof, Computation and Agency","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125326388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：