{"title":"On Arithmetical Completeness of First-Order Logics of Provability","authors":"R. Yavorskiy","doi":"10.1142/9789812776471_0001","DOIUrl":"https://doi.org/10.1142/9789812776471_0001","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"38 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":"124747807","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 Tableau Algorithm for the Clique Guarded Fragment","authors":"C. Hirsch, S. Tobies","doi":"10.1142/9789812776471_0014","DOIUrl":"https://doi.org/10.1142/9789812776471_0014","url":null,"abstract":"The Guarded Fragment of rst-order logi , introdu ed by Andr eka, van Benthem, and N emeti [1℄, has been a su essful attempt to transfer many good properties of modal, temporal, and des ription logi s to a larger fragment of predi ate logi . Among these are deidability, the nite model property, invarian e under an appropriate variant of bisimulation, and other ni e model theoreti properties [1, 4℄.","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","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":"131804601","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 Bisimulation Quantifiers to Classifying Toposes","authors":"S. Ghilardi, Marek W. Zawadowski","doi":"10.1142/9789812776471_0011","DOIUrl":"https://doi.org/10.1142/9789812776471_0011","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"27 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":"114859048","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":"Dealing with the Ramification Problem in Extended Propositional Dynamic Logic","authors":"N. Foo, Dongmo Zhang","doi":"10.1142/9789812776471_0010","DOIUrl":"https://doi.org/10.1142/9789812776471_0010","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"4 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":"126567496","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":"The Internalized Disjunction Property for Intuitionistic Justification Logic","authors":"M. Marti, T. Studer","doi":"10.7892/BORIS.125734","DOIUrl":"https://doi.org/10.7892/BORIS.125734","url":null,"abstract":"In intuitionistic justification logic, evidence terms represent intuitionistic proofs, thatis a formula r:A means r is an intuitionistic proof of A. A natural principle in thiscontext is the internalized disjunction property (IDP), which is: for each term r thereexists a term s such that r:(A or B) implies s:A or s:B.We introduce a light extension of iJT4, in which IDP is valid. Our proof relies ona model construction that enforces sharp evidence relations and a tight connectionbetween syntax and semantics. This makes it possible to switch between proofs andmodels, which will be the key to proving IDP.","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"67 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":"125916315","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号
