How to construct a logic for your application

D. M. Gabbay

doi:10.1007/bfb0018989

How to construct a logic for your application

D. M. Gabbay

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	GWAI-1992
Subtitle of host publication	Advances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Proceedings
Editors	Hans Jurgen Ohlbach
Publisher	Springer Verlag
Pages	1-29
Number of pages	29
ISBN (Print)	9783540566670
DOIs	https://doi.org/10.1007/bfb0018989
State	Published - 1993
Externally published	Yes
Event	16th German Workshop on Artificial Intelligence, GWAI 1992 - Bonn, Germany Duration: 31 Aug 1992 → 3 Sep 1992

Publication series

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

Conference

Conference	16th German Workshop on Artificial Intelligence, GWAI 1992
Country/Territory	Germany
City	Bonn
Period	31/08/92 → 3/09/92

Bibliographical note

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

Access to Document

10.1007/bfb0018989

Cite this

Gabbay, D. M. (1993). How to construct a logic for your application. In H. J. Ohlbach (Ed.), GWAI-1992: Advances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Proceedings (pp. 1-29). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 671 LNAI). Springer Verlag. https://doi.org/10.1007/bfb0018989

Gabbay, D. M. / How to construct a logic for your application. GWAI-1992: Advances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Proceedings. editor / Hans Jurgen Ohlbach . Springer Verlag, 1993. pp. 1-29 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{dfac4d1b73054602af1413c6f5c6fcdf,

title = "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.",

author = "Gabbay, {D. M.}",

year = "1993",

doi = "10.1007/bfb0018989",

language = "אנגלית",

isbn = "9783540566670",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--29",

editor = "{Ohlbach }, {Hans Jurgen}",

booktitle = "GWAI-1992",

address = "גרמניה",

}

Gabbay, DM 1993, How to construct a logic for your application. in HJ Ohlbach (ed.), GWAI-1992: Advances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 671 LNAI, Springer Verlag, pp. 1-29, 16th German Workshop on Artificial Intelligence, GWAI 1992, Bonn, Germany, 31/08/92. https://doi.org/10.1007/bfb0018989

How to construct a logic for your application. / Gabbay, D. M.
GWAI-1992: Advances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Proceedings. ed. / Hans Jurgen Ohlbach . Springer Verlag, 1993. p. 1-29 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 671 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - How to construct a logic for your application

AU - Gabbay, D. M.

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85029430322&partnerID=8YFLogxK

U2 - 10.1007/bfb0018989

DO - 10.1007/bfb0018989

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85029430322

SN - 9783540566670

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 29

BT - GWAI-1992

A2 - Ohlbach , Hans Jurgen

PB - Springer Verlag

T2 - 16th German Workshop on Artificial Intelligence, GWAI 1992

Y2 - 31 August 1992 through 3 September 1992

ER -

Gabbay DM. How to construct a logic for your application. In Ohlbach HJ, editor, GWAI-1992: Advances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Proceedings. Springer Verlag. 1993. p. 1-29. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0018989

How to construct a logic for your application

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this