Michael C. Nagle

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]