{"title":"Pure term models for modal, intensional set theory","authors":"R. Hinnion","doi":"10.2143/LEA.237.0.3285353","DOIUrl":null,"url":null,"abstract":"This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4.","PeriodicalId":46471,"journal":{"name":"Logique et Analyse","volume":"54 1","pages":"513-520"},"PeriodicalIF":0.3000,"publicationDate":"2018-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logique et Analyse","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2143/LEA.237.0.3285353","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}
引用次数: 0
Abstract
This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4.
期刊介绍：
Logique et Analyse is the continuation of Bulletin Intérieur, which was published from 1954 on by the Belgian National Centre for Logical Investigation, and intended originally only as an internal publication of results for its members and collaborators. Since the start of the new series, in 1958, however, the journal has been open to external submissions (and subscriptions). Logique et Analyse itself subscribes to no particular logical or philosophical doctrine, and so is open to articles from all points of view, provided only that they concern the designated subject matter of the journal.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
