dblp.uni-trier.dewww.uni-trier.de

S. K. Thomason

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1985
8 Michael C. Nagle, S. K. Thomason: The Extensions of the Modal Logic K5. J. Symb. Log. 50(1): 102-109 (1985)
1977
7 S. K. Thomason: Modal Operators and Functional Completeness, II. J. Symb. Log. 42(3): 391-399 (1977)
1975
6 S. K. Thomason: Categories of Frames for Modal Logic. J. Symb. Log. 40(3): 439-442 (1975)
1974
5 S. K. Thomason: Reduction of Tense Logic to Modal Logic. I. J. Symb. Log. 39(3): 549-551 (1974)
1972
4 S. K. Thomason: Semantic Analysis of Tense Logics. J. Symb. Log. 37(1): 150-158 (1972)
3 S. K. Thomason: Noncompactness in Propositional Modal Logic. J. Symb. Log. 37(4): 716-720 (1972)
1970
2 S. K. Thomason: A Theorem on Initial Segments of Degrees. J. Symb. Log. 35(1): 41-45 (1970)
1 S. K. Thomason: On Initial Segments of Hyperdegrees. J. Symb. Log. 35(2): 189-197 (1970)

Coauthor Index

1Michael C. Nagle [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)