Programming in modal logic: An extension of PROLOG based on modal logic

Yasubumi Sakakibara

doi:10.1007/3-540-18024-9_24

Programming in modal logic: An extension of PROLOG based on modal logic

Yasubumi Sakakibara

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

6 Citations (Scopus)

Abstract

In this paper, we will attempt to give a procedural interpretation to modal logic. Modal logic is used as a programming language and then its procedural interpretation defines a computational procedure for the language. This is done within the framework of logic programming and is one of extensions of PROLOG based on modal logic. Further, we will demonstrate some advantages of the extension such as modurality, hierarchy or structure of logic programs.

Original language	English
Title of host publication	Logic Programming 1986 - Proceedings of the 5th Conference
Editors	Eiiti Wada
Publisher	Springer Verlag
Pages	81-91
Number of pages	11
ISBN (Print)	9783540180241
DOIs	https://doi.org/10.1007/3-540-18024-9_24
Publication status	Published - 1987
Externally published	Yes
Event	5th Conference on Logic Programming, 1986 - Tokyo, Japan Duration: 1986 Jun 23 → 1986 Jun 26

Publication series

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

Other

Other	5th Conference on Logic Programming, 1986
Country/Territory	Japan
City	Tokyo
Period	86/6/23 → 86/6/26

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-18024-9_24

Cite this

Sakakibara, Y. (1987). Programming in modal logic: An extension of PROLOG based on modal logic. In E. Wada (Ed.), Logic Programming 1986 - Proceedings of the 5th Conference (pp. 81-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 264 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-18024-9_24

Programming in modal logic: An extension of PROLOG based on modal logic. / Sakakibara, Yasubumi.
Logic Programming 1986 - Proceedings of the 5th Conference. ed. / Eiiti Wada. Springer Verlag, 1987. p. 81-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 264 LNCS).

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

Sakakibara, Y 1987, Programming in modal logic: An extension of PROLOG based on modal logic. in E Wada (ed.), Logic Programming 1986 - Proceedings of the 5th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 264 LNCS, Springer Verlag, pp. 81-91, 5th Conference on Logic Programming, 1986, Tokyo, Japan, 86/6/23. https://doi.org/10.1007/3-540-18024-9_24

@inproceedings{8eec6cef745d455db7bceb89ab9b8da2,

title = "Programming in modal logic: An extension of PROLOG based on modal logic",

abstract = "In this paper, we will attempt to give a procedural interpretation to modal logic. Modal logic is used as a programming language and then its procedural interpretation defines a computational procedure for the language. This is done within the framework of logic programming and is one of extensions of PROLOG based on modal logic. Further, we will demonstrate some advantages of the extension such as modurality, hierarchy or structure of logic programs.",

author = "Yasubumi Sakakibara",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1987.; 5th Conference on Logic Programming, 1986 ; Conference date: 23-06-1986 Through 26-06-1986",

year = "1987",

doi = "10.1007/3-540-18024-9_24",

language = "English",

isbn = "9783540180241",

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

publisher = "Springer Verlag",

pages = "81--91",

editor = "Eiiti Wada",

booktitle = "Logic Programming 1986 - Proceedings of the 5th Conference",

}

TY - GEN

T1 - Programming in modal logic

T2 - 5th Conference on Logic Programming, 1986

AU - Sakakibara, Yasubumi

PY - 1987

Y1 - 1987

N2 - In this paper, we will attempt to give a procedural interpretation to modal logic. Modal logic is used as a programming language and then its procedural interpretation defines a computational procedure for the language. This is done within the framework of logic programming and is one of extensions of PROLOG based on modal logic. Further, we will demonstrate some advantages of the extension such as modurality, hierarchy or structure of logic programs.

AB - In this paper, we will attempt to give a procedural interpretation to modal logic. Modal logic is used as a programming language and then its procedural interpretation defines a computational procedure for the language. This is done within the framework of logic programming and is one of extensions of PROLOG based on modal logic. Further, we will demonstrate some advantages of the extension such as modurality, hierarchy or structure of logic programs.

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

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

U2 - 10.1007/3-540-18024-9_24

DO - 10.1007/3-540-18024-9_24

M3 - Conference contribution

AN - SCOPUS:33846845273

SN - 9783540180241

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

SP - 81

EP - 91

BT - Logic Programming 1986 - Proceedings of the 5th Conference

A2 - Wada, Eiiti

PB - Springer Verlag

Y2 - 23 June 1986 through 26 June 1986

ER -

Programming in modal logic: An extension of PROLOG based on modal logic

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this