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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)


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
EditorsEiiti Wada
PublisherSpringer Verlag
Number of pages11
ISBN (Print)9783540180241
Publication statusPublished - 1987
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


Other5th Conference on Logic Programming, 1986

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Programming in modal logic: An extension of PROLOG based on modal logic'. Together they form a unique fingerprint.

Cite this