Michael C. Nagle

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1985

2 Michael C. Nagle, S. K. Thomason: The Extensions of the Modal Logic K5. J. Symb. Log. 50(1): 102-109 (1985)

1981

1 Michael C. Nagle: The Decidability of Normal K5 Logics. J. Symb. Log. 46(2): 319-328 (1981)

1985
2		Michael C. Nagle, S. K. Thomason: The Extensions of the Modal Logic K5. J. Symb. Log. 50(1): 102-109 (1985)
1981
1		Michael C. Nagle: The Decidability of Normal K5 Logics. J. Symb. Log. 46(2): 319-328 (1981)

Coauthor Index

1 S. K. Thomason [2]