Programming in modal logic

An extension of PROLOG based on modal logic

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationLogic Programming 1986 - Proceedings of the 5th Conference
PublisherSpringer Verlag
Pages81-91
Number of pages11
ISBN (Print)9783540180241
DOIs
Publication statusPublished - 1987 Jan 1
Externally publishedYes
Event5th Conference on Logic Programming, 1986 - Tokyo, Japan
Duration: 1986 Jun 231986 Jun 26

Publication series

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

Other

Other5th Conference on Logic Programming, 1986
CountryJapan
CityTokyo
Period86/6/2386/6/26

Fingerprint

PROLOG (programming language)
Logic programming
Modal Logic
Computer programming languages
Programming
Logic Programming
Logic Programs
Programming Languages
Demonstrate
Interpretation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sakakibara, Y. (1987). Programming in modal logic: An extension of PROLOG based on modal logic. In 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. 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 proceedingConference contribution

Sakakibara, Y 1987, Programming in modal logic: An extension of PROLOG based on modal logic. in 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
Sakakibara Y. Programming in modal logic: An extension of PROLOG based on modal logic. In Logic Programming 1986 - Proceedings of the 5th Conference. Springer Verlag. 1987. p. 81-91. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-18024-9_24
Sakakibara, Yasubumi. / Programming in modal logic : An extension of PROLOG based on modal logic. Logic Programming 1986 - Proceedings of the 5th Conference. Springer Verlag, 1987. pp. 81-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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",
year = "1987",
month = "1",
day = "1",
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",
booktitle = "Logic Programming 1986 - Proceedings of the 5th Conference",
address = "Germany",

}

TY - GEN

T1 - Programming in modal logic

T2 - An extension of PROLOG based on modal logic

AU - Sakakibara, Yasubumi

PY - 1987/1/1

Y1 - 1987/1/1

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

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

PB - Springer Verlag

ER -