Entry Fine:1972:LCF from lnm1970.bib
Last update: Sat Oct 14 02:51:54 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Fine:1972:LCF,
author = "Kit Fine",
title = "Logics containing {$ S4 $} without the finite model
property",
journal = j-LECT-NOTES-MATH,
volume = "255",
pages = "98--102",
year = "1972",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0059539",
ISBN = "3-540-05744-7 (print), 3-540-37162-1 (e-book)",
ISBN-13 = "978-3-540-05744-4 (print), 978-3-540-37162-5
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
MRclass = "02C10",
MRnumber = "0332437 (48 \#10764)",
MRreviewer = "David Makinson",
bibdate = "Fri May 9 19:07:09 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0059539/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0059533",
book-URL = "http://www.springerlink.com/content/978-3-540-37162-5",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 02C10,
255(0)103,
255(0)111
- containing,
212(0)193,
403(0)96
- Fine, Kit,
255(0)111
- finite,
129(0)46,
131(0)57,
131(0)97,
131(0)267,
143(0)97,
143(0)249,
160(0)64,
160(0)133,
160(0)219,
161(0)20,
168(0)90,
168(0)250,
193(0)111,
196(0)1,
196(0)42,
196(0)114,
198(0)31,
217(0)12,
218(0)146,
228(0)253,
234(0)184,
246(0)145,
247(0)309,
262(0)2,
285(0)23,
291(0)103,
296(0)102,
319(0)9,
319(0)26,
336(0)63,
337(0)253,
337(0)439,
341(0)179,
348(0)108,
351(0)120,
353(0)84,
363(0)21,
363(0)89,
363(0)118,
363(0)153,
363(0)207,
363(0)215,
369(0)144,
372(0)103,
372(0)226,
382(0)105,
383(0)234,
386(0)218,
395(0)149,
401(0)55,
406(0)109,
418(0)103,
428(0)44,
430(0)261
- logic,
188(0)62,
255(0)111,
274(0)57,
372(0)90
- model,
112(0)286,
192(0)153,
217(0)20,
217(0)36,
217(0)51,
217(0)74,
223(0)46,
255(0)42,
255(0)128,
255(0)251,
303(0)41,
306(0)134,
306(0)137,
337(0)489,
337(0)539,
344(0)324,
354(0)214,
369(0)1,
369(0)99
- property,
121(0)36,
131(0)1,
132(0)61,
133(0)40,
135(0)64,
168(0)232,
171(0)17,
171(0)40,
175(0)54,
188(0)23,
188(0)28,
206(0)35,
229(0)106,
231(0)8,
231(0)12,
237(0)58,
246(0)191,
255(0)63,
256(0)1,
258(0)177,
280(0)202,
287(0)153,
293(0)22,
294(0)21,
301(0)1,
301(0)93,
316(0)67,
322(0)343,
330(0)239,
337(0)206,
342(0)135,
350(0)69,
353(0)72,
353(0)152,
362(0)360,
364(0)150,
365(0)177,
369(0)50,
372(0)63,
373(0)232,
374(0)6,
375(0)108,
378(0)41,
391(0)55,
391(0)101,
397(0)89,
398(0)194,
399(0)129,
401(0)18,
405(0)23,
411(0)61,
411(0)99,
425(0)1,
425(0)56,
429(0)74,
429(0)94