How to construct a logic for your application

D. M. Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations


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.

Original languageEnglish
Title of host publicationGWAI-1992
Subtitle of host publicationAdvances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Proceedings
EditorsHans Jurgen Ohlbach
PublisherSpringer Verlag
Number of pages29
ISBN (Print)9783540566670
StatePublished - 1993
Externally publishedYes
Event16th German Workshop on Artificial Intelligence, GWAI 1992 - Bonn, Germany
Duration: 31 Aug 19923 Sep 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume671 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference16th German Workshop on Artificial Intelligence, GWAI 1992

Bibliographical note

Publisher Copyright:
© 1993, Springer Verlag. All rights reserved.


Dive into the research topics of 'How to construct a logic for your application'. Together they form a unique fingerprint.

Cite this