Model theory for modal logic : Kripke models for modal predicate calculi
Finna rating
Model theory for modal logic : Kripke models for modal predicate calculi
Saved in:
| Physical Description |
x,127 sivua |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Publisher |
Dordrecht :
Reidel,
1979.
|
| Series | Synthese library, 127. |
| Classification | |
| Subjects | |
| Additional Information | Kenneth A. Bowen |
| ISBN |
90-277-0929-7 kovakantinen |
| Uncontrolled Title |
Kripke models for modal predicate calculi |