Arithmetically complete modal theories

1987 ◽  
pp. 39-54 ◽  
Author(s):  
S. N. Artemov
Sign in / Sign up

Export Citation Format

Share Document