Proof methods for reasoning about possibility and necessity

Resource

International Journal of Approximate Reasoning: 9 (4): 327-364

Journal

International Journal of Approximate Reasoning

Journal Volume

9

Journal Issue

4

Pages

327-364

Date Issued

1993

Date

1993

Author(s)

Liau, Churn Jung

Lin, Bertrand I-peng

URI

Type

journal article

File(s)

Name

05.pdf

Size

1.61 MB

Format

Adobe PDF

Checksum

(MD5):a398345f3f2893d72c978c550b7bd683