The aim of this paper is to generalize the methods and results of our above- mentioned work for the whole class of basic serial multimodal logics (BSMM). A BSMM ...
We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions ...
an SLD-resolution calculus for basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, B, 4 ...
We develop semantics for modal logic programs in basic se- rial multimodal logics, which are parameterized by an arbitrary combi- nation of generalized versions ...
This work develops semantics for modal logic programs in basic serial multimodal logics that are parameterized by an arbitrary combination of generalized ...
We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions ...
TL;DR: This work develops semantics for modal logic programs in basic serial multimodal logics that are parameterized by an arbitrary combination of ...
People also ask
What is the meaning of SLD resolution?
What is the SLD resolution algorithm in Prolog?
We give a framework for developing the least model semantics, fixpoint semantics, and SLD-resolution calculi for logic programs in multimodal logics whose ...
A fixpoint semantics and an SLD-resolution calculus for MProlog in all of the basic serial modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5 are given.
We give a fixpoint semantics and an SLD-resolution calculus for MProlog in all of the basic serial modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. For ...