## Multimodal Logic Programming (2003)

### Cached

### Download Links

- [www.mimuw.edu.pl]
- [www.mimuw.edu.pl]
- [www.mimuw.edu.pl]
- DBLP

### Other Repositories/Bibliography

Venue: | Theoretical Computer Science |

Citations: | 12 - 7 self |

### BibTeX

@ARTICLE{Nguyen03multimodallogic,

author = {Linh Anh Nguyen},

title = {Multimodal Logic Programming},

journal = {Theoretical Computer Science},

year = {2003},

volume = {360},

pages = {2006}

}

### OpenURL

### Abstract

We give a general framework for developing the least model semantics, xpoint semantics, and SLD-resolution calculi for logic programs in multimodal logics whose frame restrictions consist of the conditions of seriality (i.e. 8x 9y R i (x; y)) and some classical rst-order Horn formulas. Our approach is direct and no restriction on occurrences of 2 i and 3 i is required. We apply the framework for a large class of basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T , B, 4, 5 (in the form, e.g., 4 : 2 i ! 2 j 2k) and I : 2 i ! 2 j . Another part of the work is devoted to programming in multimodal logics intended for reasoning about multi-degree belief, for use in distributed systems of belief, or for reasoning about epistemic states of agents in multi-agent systems. For that we also use the framework, and although these latter logics belong to the mentioned class of basic serial multimodal logics, the special SLD-resolution calculi proposed for them are more eective.