"A proof-theoretic study of the correspondence of classical logic and modal ..."

Hirohiko Kushida, Mitsu Okada (2003)

Details and statistics

DOI: 10.2178/JSL/1067620195

access: closed

type: Journal Article

metadata version: 2020-07-29