Intensional and Higher-Oorder Modal Logic. Gallin, D. North-Holland Publishing Company, Amsterdam, The Netherlands, 1975. bibtex @book{Gallin_1975,
Address = {Amsterdam, The Netherlands},
Author = {Daniel Gallin},
Date-Added = {2019-07-22 14:42:14 +0200},
Date-Modified = {2019-07-22 14:44:37 +0200},
Number = {19},
Publisher = {North-Holland Publishing Company},
Series = {North-Holland Mathematics Studies},
Title = {Intensional and {H}igher-{O}order {M}odal {L}ogic},
Year = {1975}}
Downloads: 0
{"_id":"fSe3XYFBqj2ThJGJc","bibbaseid":"gallin-intensionalandhigheroordermodallogic-1975","authorIDs":[],"author_short":["Gallin, D."],"bibdata":{"bibtype":"book","type":"book","address":"Amsterdam, The Netherlands","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Gallin"],"suffixes":[]}],"date-added":"2019-07-22 14:42:14 +0200","date-modified":"2019-07-22 14:44:37 +0200","number":"19","publisher":"North-Holland Publishing Company","series":"North-Holland Mathematics Studies","title":"Intensional and Higher-Oorder Modal Logic","year":"1975","bibtex":"@book{Gallin_1975,\n\tAddress = {Amsterdam, The Netherlands},\n\tAuthor = {Daniel Gallin},\n\tDate-Added = {2019-07-22 14:42:14 +0200},\n\tDate-Modified = {2019-07-22 14:44:37 +0200},\n\tNumber = {19},\n\tPublisher = {North-Holland Publishing Company},\n\tSeries = {North-Holland Mathematics Studies},\n\tTitle = {Intensional and {H}igher-{O}order {M}odal {L}ogic},\n\tYear = {1975}}\n\n","author_short":["Gallin, D."],"key":"Gallin_1975","id":"Gallin_1975","bibbaseid":"gallin-intensionalandhigheroordermodallogic-1975","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"book","biburl":"https://amiraanvari.github.io/bib.bib","creationDate":"2020-03-03T18:21:14.044Z","downloads":0,"keywords":[],"search_terms":["intensional","higher","oorder","modal","logic","gallin"],"title":"Intensional and Higher-Oorder Modal Logic","year":1975,"dataSources":["aLdZwznN42gCxDNro"]}