Multilanguage First Order Theories of Propositional Attitudes (1991)
| Citations: | 16 - 11 self |
BibTeX
@MISC{Giunchiglia91multilanguagefirst,
author = {F. Giunchiglia and L. Serafini and Istituto Trentino Di Cultura and Fausto Giunchiglia and Luciano Serafini},
title = {Multilanguage First Order Theories of Propositional Attitudes},
year = {1991}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The goal of this paper is to present a new family of formal systems, so called multilanguage systems (ML-systems), which allow the use of multiple distinct first order languages and inference rules whose premises and consequences need not belong to the same language. ML-systems are argued to formalize naturally and elegantly notions like belief, knowledge and, more in general, various forms of propositional attitudes. Some instances of ML-systems are defined and proved equivalent to the modal logic K and some of Konolige's logics for belief.
