@dblp

A1 is not a conservative extension of S4 but of S5.

. J. Philosophical Logic, 18 (3): 321-323 (1989)

Links and resources

Tags