-
1
-
-
0003200656
-
Algebraic logic
-
North-Holland, Amsterdam. MR1153415 (92m:03003)
-
H. Andréka, J. D. Monk, and I. Németi (eds.), Algebraic logic, Colloq. Math. Soc. J. Bolyai, vol. 54, North-Holland, Amsterdam, 1991. MR1153415 (92m:03003)
-
(1991)
Colloq. Math. Soc. J. Bolyai
, vol.54
-
-
Andréka, H.1
Monk, J.D.2
Németi, I.3
-
2
-
-
84959697692
-
On the structure of abstract algebras
-
G. Birkhoff, On the structure of abstract algebras, Proc. Cambr. Philos. Soc. 31 (1935), 433-454.
-
(1935)
Proc. Cambr. Philos. Soc.
, vol.31
, pp. 433-454
-
-
Birkhoff, G.1
-
3
-
-
0010220845
-
Modal logic
-
Cambridge University Press, Cambridge, UK. MR1837791 (2003b:03001)
-
P. Blackburn, M. de Rijke and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53, Cambridge University Press, Cambridge, UK, 2001. MR1837791 (2003b:03001)
-
(2001)
Cambridge Tracts in Theoretical Computer Science
, vol.53
-
-
Blackburn, P.1
De Rijke, M.2
Venema, Y.3
-
4
-
-
0040197131
-
Undecidability of the disjunction property of propositional logics and other related problems
-
MR1242050 (941:03048)
-
A. Chagrov and M. Zakharyaschev, Undecidability of the disjunction property of propositional logics and other related problems, Journal of Symbolic Logic 58 (1993), 49-82. MR1242050 (941:03048)
-
(1993)
Journal of Symbolic Logic
, vol.58
, pp. 49-82
-
-
Chagrov, A.1
Zakharyaschev, M.2
-
5
-
-
0040585653
-
Modal logic
-
Clarendon Press, Oxford. MR1464942 (98e:03021)
-
_, Modal logic, Oxford Logic Guides, vol. 35, Clarendon Press, Oxford, 1997. MR1464942 (98e:03021)
-
(1997)
Oxford Logic Guides
, vol.35
-
-
-
6
-
-
0040988836
-
An undecidable problem in correspondence theory
-
MR1136455 (93b:03075)
-
L. Chagrova, An undecidable problem in correspondence theory, Journal of Symbolic Logic 56 (1991), 1261-1272. MR1136455 (93b:03075)
-
(1991)
Journal of Symbolic Logic
, vol.56
, pp. 1261-1272
-
-
Chagrova, L.1
-
7
-
-
0003335779
-
Graph theory
-
Springer-Verlag, Berlin. MR1448665
-
R. Diestel, Graph theory, Graduate Texts in Mathematics, vol. 173, Springer-Verlag, Berlin, 1997. MR1448665
-
(1997)
Graduate Texts in Mathematics
, vol.173
-
-
Diestel, R.1
-
8
-
-
0001869610
-
Graph theory and probability
-
MR0102081 (21:876)
-
P. Erdös, Graph theory and probability, Canadian Journal of Mathematics 11 (1959), 34-38. MR0102081 (21:876)
-
(1959)
Canadian Journal of Mathematics
, vol.11
, pp. 34-38
-
-
Erdös, P.1
-
10
-
-
0037833495
-
Simulating polyadic modal logics by monadic ones
-
MR1976585 (2004d:03036)
-
G. Goguadze, C. Piazza, and Y. Venema, Simulating polyadic modal logics by monadic ones, Journal of Symbolic Logic 68 (2003), 419-462. MR1976585 (2004d:03036)
-
(2003)
Journal of Symbolic Logic
, vol.68
, pp. 419-462
-
-
Goguadze, G.1
Piazza, C.2
Venema, Y.3
-
11
-
-
0002687894
-
Metamathematics of modal logic
-
R. Goldblatt, Metamathematics of modal logic, Reports on Math. Logic 6 (1976), 4-77.
-
(1976)
Reports on Math. Logic
, vol.6
, pp. 4-77
-
-
Goldblatt, R.1
-
12
-
-
0003363747
-
Mathematics of modality
-
Reprinted in, CSLI Publications, Stanford. MR0536321 (58:27331a)
-
(Reprinted in: R. Goldblatt, Mathematics of modality, Lecture notes, vol. 43, CSLI Publications, Stanford, 1993). MR0536321 (58:27331a)
-
(1993)
Lecture Notes
, vol.43
-
-
Goldblatt, R.1
-
13
-
-
0000205398
-
Varieties of complex algebras
-
MR1020344 (91d:08005)
-
_, Varieties of complex algebras, Ann. Pure. Appl. Logic 44 (1989), 173-242. MR1020344 (91d:08005)
-
(1989)
Ann. Pure. Appl. Logic
, vol.44
, pp. 173-242
-
-
-
14
-
-
0002885928
-
Combinatorial relations and chromatic graphs
-
MR0067467 (16:733g)
-
R. E. Greenwood and A. M. Gleason, Combinatorial relations and chromatic graphs, Canadian Journal of Mathematics 7 (1955), 1-7. MR0067467 (16:733g)
-
(1955)
Canadian Journal of Mathematics
, vol.7
, pp. 1-7
-
-
Greenwood, R.E.1
Gleason, A.M.2
-
15
-
-
0031285579
-
Step by step - Building representations in algebraic logic
-
MR1450522 (98g:03145)
-
R. Hirsch and I. Hodkinson, Step by step - building representations in algebraic logic, Journal of Symbolic Logic 62 (1997), no. 1, 225-279. MR1450522 (98g:03145)
-
(1997)
Journal of Symbolic Logic
, vol.62
, Issue.1
, pp. 225-279
-
-
Hirsch, R.1
Hodkinson, I.2
-
16
-
-
27844607144
-
Relation algebras by games
-
North-Holland, Amsterdam. MR1935083 (2003m:03001)
-
_, Relation algebras by games, Studies in Logic and the Foundations of Mathematics, vol. 147, North-Holland, Amsterdam, 2002. MR1935083 (2003m:03001)
-
(2002)
Studies in Logic and the Foundations of Mathematics
, vol.147
-
-
-
17
-
-
0035994071
-
Strongly representable atom structures of relation algebras
-
MR1887031 (2002k:03113)
-
_, Strongly representable atom structures of relation algebras, Proc. Amer. Math. Soc. 130 (2002), 1819-1831. MR1887031 (2002k:03113)
-
(2002)
Proc. Amer. Math. Soc.
, vol.130
, pp. 1819-1831
-
-
-
18
-
-
0000497518
-
Atom structures of cylindric algebras and relation algebras
-
MR1490103 (99c:03103)
-
I. Hodkinson, Atom structures of cylindric algebras and relation algebras, Annals of Pure and Applied Logic 89 (1997), 117-148. MR1490103 (99c:03103)
-
(1997)
Annals of Pure and Applied Logic
, vol.89
, pp. 117-148
-
-
Hodkinson, I.1
-
19
-
-
2942664009
-
Every world can see a reflexive world
-
MR1094537 (91m:03016)
-
G. Hughes, Every world can see a reflexive world, Studia Logica 49 (1989), 175-181. MR1094537 (91m:03016)
-
(1989)
Studia Logica
, vol.49
, pp. 175-181
-
-
Hughes, G.1
-
21
-
-
84968502770
-
Representation of modular lattices and of relation algebras
-
MR0108459 (21:7175)
-
B. Jónsson, Representation of modular lattices and of relation algebras, Trans. Amer. Math. Soc. 92 (1959), 449-464. MR0108459 (21:7175)
-
(1959)
Trans. Amer. Math. Soc.
, vol.92
, pp. 449-464
-
-
Jónsson, B.1
-
22
-
-
0000736892
-
-
Andréka et al. [1]. MR1153429 (93b:03114)
-
_, The theory of binary relations, In Andréka et al. [1], pp. 245-292. MR1153429 (93b:03114)
-
The Theory of Binary Relations
, pp. 245-292
-
-
-
23
-
-
0001521953
-
Boolean algebras with operators I
-
MR0044502 (13:426c)
-
B. Jónsson and A. Tarski, Boolean algebras with operators I, American Journal of Mathematics 73 (1951), 891-939. MR0044502 (13:426c)
-
(1951)
American Journal of Mathematics
, vol.73
, pp. 891-939
-
-
Jónsson, B.1
Tarski, A.2
-
24
-
-
0003369048
-
Tools and techniques in modal logic
-
North-Holland, Amsterdam. MR1707315 (2000h:03041)
-
M. Kracht, Tools and Techniques in Modal Logic, Studies in Logic and the Foundations of Mathematics, vol. 142, North-Holland, Amsterdam, 1999. MR1707315 (2000h:03041)
-
(1999)
Studies in Logic and the Foundations of Mathematics
, vol.142
-
-
Kracht, M.1
-
25
-
-
0033455162
-
Normal modal logics can simulate all others
-
MR1683898 (2000g:03048)
-
M. Kracht and F. Wolter, Normal modal logics can simulate all others, Journal of Symbolic Logic 64 (1999), pp. 99-138. MR1683898 (2000g:03048)
-
(1999)
Journal of Symbolic Logic
, vol.64
, pp. 99-138
-
-
Kracht, M.1
Wolter, F.2
-
26
-
-
0001449873
-
The representation of relational algebras
-
MR0037278 (12:237a)
-
R. Lyndon, The representation of relational algebras, Annals of Mathematics 51 (1950), no. 3, 707-729. MR0037278 (12:237a)
-
(1950)
Annals of Mathematics
, vol.51
, Issue.3
, pp. 707-729
-
-
Lyndon, R.1
-
27
-
-
0001487934
-
The representation of relation algebras, II
-
MR0079570 (18:106f)
-
_, The representation of relation algebras, II, Annals of Mathematics 63 (1956), no. 2, 294-307. MR0079570 (18:106f)
-
(1956)
Annals of Mathematics
, vol.63
, Issue.2
, pp. 294-307
-
-
-
28
-
-
0003171144
-
Relation algebras and protective geometries
-
MR0122743 (23:A83)
-
_, Relation algebras and protective geometries, Michigan Mathematics Journal 8 (1961), 207-210. MR0122743 (23:A83)
-
(1961)
Michigan Mathematics Journal
, vol.8
, pp. 207-210
-
-
-
29
-
-
0003178338
-
A sequent calculus for relation algebras
-
MR0722170 (85h:03067)
-
R. Maddux, A sequent calculus for relation algebras, Annals of Pure and Applied Logic 25 (1983), 73-101. MR0722170 (85h:03067)
-
(1983)
Annals of Pure and Applied Logic
, vol.25
, pp. 73-101
-
-
Maddux, R.1
-
32
-
-
0000453693
-
On representable relation algebras
-
MR0172797 (30:3016)
-
J. D. Monk, On representable relation algebras, Michigan Mathematics Journal 11 (1964), 207-210. MR0172797 (30:3016)
-
(1964)
Michigan Mathematics Journal
, vol.11
, pp. 207-210
-
-
Monk, J.D.1
-
33
-
-
0041192846
-
Algebraic methods in logic and computer science
-
Polish Academy of Sciences. MR1446270 (97k:03003)
-
C. Rauszer (ed.), Algebraic Methods in Logic and Computer Science, volume 28 of Banach Center Publications, Polish Academy of Sciences, 1993. MR1446270 (97k:03003)
-
(1993)
Banach Center Publications
, vol.28
-
-
Rauszer, C.1
-
34
-
-
84968486072
-
The theory of representations for boolean algebras
-
MR1501865
-
M. Stone, The theory of representations for boolean algebras, Trans. Amer. Math. Soc. 40 (1936), 37-111. MR1501865
-
(1936)
Trans. Amer. Math. Soc.
, vol.40
, pp. 37-111
-
-
Stone, M.1
-
35
-
-
0003036898
-
On the calculus of relations
-
MR0005280 (3:130e)
-
A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (1941), 73-89. MR0005280 (3:130e)
-
(1941)
Journal of Symbolic Logic
, vol.6
, pp. 73-89
-
-
Tarski, A.1
-
36
-
-
0002012425
-
Contributions to the theory of models, III
-
(= Indag. Math. 17). MR0066303 (16:554h)
-
_, Contributions to the theory of models, III, Koninkl. Nederl. Akad. Wetensch Proc. 58 (= Indag. Math. 17) (1955), 56-64. MR0066303 (16:554h)
-
(1955)
Koninkl. Nederl. Akad. Wetensch Proc.
, vol.58
, pp. 56-64
-
-
-
37
-
-
27844505426
-
Undecidability of the completeness problem of modal logic
-
Universal algebra and applications, PNW-Polish Scientific Publishers, Warszawa. MR0738827 (85e:03051)
-
S. Thomason, Undecidability of the completeness problem of modal logic, Universal algebra and applications, Banach Center Publications, vol. 9, PNW-Polish Scientific Publishers, Warszawa, 1982, pp. 341-345. MR0738827 (85e:03051)
-
(1982)
Banach Center Publications
, vol.9
, pp. 341-345
-
-
Thomason, S.1
-
38
-
-
0000890459
-
Atom structures and Sahlqvist equations
-
MR1609043 (99g:06019)
-
Y. Venema, Atom structures and Sahlqvist equations, Algebra Universalis 38 (1997), 185-199. MR1609043 (99g:06019)
-
(1997)
Algebra Universalis
, vol.38
, pp. 185-199
-
-
Venema, Y.1
-
39
-
-
27844587581
-
-
Zakharyaschev et al. [40]. MR1838261 (2002c:03037)
-
_, Canonical pseudo-correspondence, In Zakharyaschev et al. [40], pages 439-448. MR1838261 (2002c:03037)
-
Canonical Pseudo-correspondence
, pp. 439-448
-
-
-
40
-
-
0038171276
-
Atomless varieties
-
MR1976593 (2004g:03108)
-
_, Atomless varieties, Journal of Symbolic Logic 68 (2003), 607-614. MR1976593 (2004g:03108)
-
(2003)
Journal of Symbolic Logic
, vol.68
, pp. 607-614
-
-
-
41
-
-
27844492090
-
-
CSLI Publications, Stanford. MR1838243
-
M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing (eds.), Advances in Modal Logic, Volume 2, CSLI Publications, Stanford, 2000. MR1838243
-
(2000)
Advances in Modal Logic, Volume 2
, vol.2
-
-
Zakharyaschev, M.1
Segerberg, K.2
De Rijke, M.3
Wansing, H.4
|