Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

Knowledge in Action: Logical Foundations

📁 Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

✍ Raymond Reiter 📂 Library 📅 2001 🏛 The MIT Press 🌐 English

It is rare that a book appears which presents a solution to a major outstanding problem. It is even rarer when a book presents a solution which is both theoretically sound and undeniably practical. But this is such a book. The frame problem, which went unnoticed for the first 70 years of logic,

Principles of Knowledge Auditing: Founda

📁 Principles of Knowledge Auditing: Foundations for Knowledge Management Implementation

✍ Patrick Lambe 📂 Library 📅 2023 🏛 The MIT Press 🌐 English

A comprehensive theoretical and practical guide to the operating principles of knowledge auditing, illustrated with numerous case studies. A knowledge audit provides an “at a glance” view of an organization's needs and opportunities. Its purpose is to improve an organizatio

Knowledge, Proof and Dynamics: The Fourt

📁 Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

✍ Fenrong Liu (editor), Hiroakira Ono (editor), Junhua Yu (editor) 📂 Library 📅 2020 🏛 Springer 🌐 English

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and phi

Knowledge, Proof and Dynamics: The Fourt

📁 Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

✍ Fenrong Liu (editor), Hiroakira Ono (editor), Junhua Yu (editor) 📂 Library 📅 2020 🏛 Springer 🌐 English

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, a

Language in Action: Categories, Lambdas

📁 Language in Action: Categories, Lambdas and Dynamic Logic

✍ J. van Benthem 📂 Library 📅 1991 🏛 North Holland 🌐 English

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and

Language in Action: Categories, Lambdas

📁 Language in Action: Categories, Lambdas and Dynamic Logic

✍ Johan van Benthem (Eds.) 📂 Library 📅 1991 🏛 North Holland 🌐 English

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and