Arithmetically complete modal theories

Six Papers in Logic - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/135/05 ◽

1987 ◽

pp. 39-54 ◽

Cited By ~ 2

Author(s):

S. N. Artemov

Download Full-text