First-order modal logic
| Main Author: | Fitting, Melvin 1942- |
|---|---|
| Other Authors: | Mendelsohn, Richard L. |
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht
KLuwer Academic Publishers
1998
|
| Series: | Synthese library : studies in epistemology, logic, methodology and philosophy of sciemce
|
| Subjects: |
Similar Items
-
First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1990) -
First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1996) -
First-order logic /
by: Smullyan, Raymond M.
Published: (1968) -
Modal logic an introduction
by: Chellas, Brian F.
Published: (1995) -
Self-reference and modal logic /
by: Smorynski, C.
Published: (1985)