How to Construct a Logic for Your Application

10 years 2 months ago
How to Construct a Logic for Your Application
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his application area. We examine two case studies, modal logic and resurce logics and show that in both cases neither classical logic nor its alternatives modal logic or substructural logic are completely satisfactory. We argue that there is a need for a new discipline and introduce and discuss the discipline of Labelled Deductive Systems (LDS). The approach is to see what is needed from the application area upward into the theory, without imposing any pre-determined concepts.
Dov M. Gabbay
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where KI
Authors Dov M. Gabbay
Comments (0)