Intensional Logics for Programming |
|
| Editor:
| Fariñas del Cerro, Luis
Penttonen, Marti |
| Series title: | Studies in Logic and Computation Ser. |
| ISBN: | 978-0-19-853775-5 |
| Publication Date: | Sep 1992 |
| Publisher: | Oxford University Press, Incorporated
|
| Imprint: | Clarendon Press |
| Book Format: | Hardback |
| List Price: | USD $41.99 |
Book Description:
|
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.