That All Normal Extensions of S4.3 Have the Finite Model Property. Bull, R. A. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 12:341–344, 1966. bibtex @article{bull,
Author = {R. A. Bull},
Journal = {Zeitschrift {f\"{u}r} Mathematische Logik und Grundlagen der Mathematik},
Pages = {341--344},
Title = {That All Normal Extensions of {S4.3} Have the Finite Model Property},
Volume = {12},
Year = {1966}}
Downloads: 0
{"_id":{"_str":"534279640e946d920a001786"},"__v":1,"authorIDs":[],"author_short":["Bull, R. A."],"bibbaseid":"bull-thatallnormalextensionsofs43havethefinitemodelproperty-1966","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["R.","A."],"propositions":[],"lastnames":["Bull"],"suffixes":[]}],"journal":"Zeitschrift für Mathematische Logik und Grundlagen der Mathematik","pages":"341–344","title":"That All Normal Extensions of S4.3 Have the Finite Model Property","volume":"12","year":"1966","bibtex":"@article{bull,\n\tAuthor = {R. A. Bull},\n\tJournal = {Zeitschrift {f\\\"{u}r} Mathematische Logik und Grundlagen der Mathematik},\n\tPages = {341--344},\n\tTitle = {That All Normal Extensions of {S4.3} Have the Finite Model Property},\n\tVolume = {12},\n\tYear = {1966}}\n\n","author_short":["Bull, R. A."],"key":"bull","id":"bull","bibbaseid":"bull-thatallnormalextensionsofs43havethefinitemodelproperty-1966","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["normal","extensions","finite","model","property","bull"],"title":"That All Normal Extensions of S4.3 Have the Finite Model Property","year":1966,"dataSources":["2cjnbEWxd35GBeqEe"]}