Atomic incompleteness or how to kill one bird with two stones

Bulletin of the Section of Logic

Volumn 30, Issue 2, 2001, Pages 71-78

  Kracht, Marcus ^a   Kowalski, Tomasz ^b  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0038292931     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)

1. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981.
2. T. Kowalski, Varieties of tense algebras, Reports on Mathematical Logic 32 (1998), pp. 53-95.
3. M. Kracht, Tools and Techniques in Modal Logic, Studies in Logic and the Foundations of Mathematics vol. 142, Elsevier, 1999.
4. M. Kracht and F. Wolter, Normal modal logics can simulate all others, Journal of Symbolic Logic 64 (1999), pp. 99-138.
5. S. Thomason, Reduction of tense logic to modal logic I, Journal of Symbolic Logic 39 (1974), pp. 549-551.
6. H. Werner, Discriminator Algebras, Akademie Verlag, Berlin 1974.