Intensional Logics for Programming

Discover the profound world of programming with "Intensional Logics for Programming," authored by a distinguished team and published by Oxford University Press in 1992. This insightful volume spans 230 pages and delves into the theoretical foundations of programming through the lens of intensional logics. It explores the application of intensional logics for the semantical analysis of logic programs, offering invaluable insights into the complexities of programming languages. Key topics include the utility of modal logic, temporal logic, and linear logic in enhancing the understanding of logic programs. Ideal for students and professionals alike, this hardback edition serves as a crucial resource for anyone looking to deepen their knowledge of programming semantics. Enhance your library today with this essential text from Bookshop.