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)