Executable Modal and Temporal Logics

丛 书 名：Lecture Notes in Computer Science

版本说明：1

I S B N：(纸本) 9783540589761 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：VIII, 188页

主 题 词：Artificial Intelligence Mathematical Logic and Foundations Programming Techniques Mathematical Logic and Formal Languages 

摘      要：This volume presents the thoroughly revised proceedings of the IJCAI 93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.;The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.;This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.