Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. It is the main source of formal languages aimed at analyzing complex notions such as common knowlwdge and formal provability. This volume presents a broad, contemporary view of the field, with contributions covering the foundations of modal logic as well as its many application areas.
"Sinopsis" puede pertenecer a otra edición de este libro.
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. It is the main source of formal languages aimed at analyzing complex notions such as common knowlwdge and formal provability. This volume presents a broad, contemporary view of the field, with contributions covering the foundations of modal logic as well as its many application areas.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America
Hardcover. Condición: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized. Nº de ref. del artículo: M1575862719Z3
Cantidad disponible: 1 disponibles