Titre
Expressivity of Logics of Knowledge and Action
Auteur
Louwe B. (Bouke) Kuijer
Langue
néerlandais
ISBN
9789036774345
Éditeur
Rijksuniversiteit Groningen
Prix
€ 3,00(Excl. toute livraison)
Détails
Proefschrift Louwe B. (Bouke) Kuijer
Plus d'informations
Consider two languages, say, English and Dutch. It is possible to translate between these languages, so if I take an English sentence I can find a Dutch sentence with the same meaning and if I take a Dutch sentence I can find an English sentence with the same meaning.
Logics are formal languages, and therefore also languages. This means that if we take two logics L_1 and L_2 we can try to translate from L_1 to L_2. But unlike with natural languages (like English and Dutch) it is sometimes impossible to translate from one logic to another.
If it is possible to translate from L_1 to L_2 and impossible to translate from L_2 to L_1 we say that L_2 is more expressive than L_1. If it is possible to translate from L_1 to L_2 and also possible to translate from L_2 to L_1 we say that L_1 and L_2 are equally expressive.
In this thesis we look at a number of logics and determine which ones are the most expressive. Specifically, we look at the logics L_CP, L_CPS, L_R, L_CPU and L_U*. We conclude that L_CPS is more expressive than L_CP, that L_U* is more expressive than L_R and that L_CPU and L_U* are equally expressive.
Logics are formal languages, and therefore also languages. This means that if we take two logics L_1 and L_2 we can try to translate from L_1 to L_2. But unlike with natural languages (like English and Dutch) it is sometimes impossible to translate from one logic to another.
If it is possible to translate from L_1 to L_2 and impossible to translate from L_2 to L_1 we say that L_2 is more expressive than L_1. If it is possible to translate from L_1 to L_2 and also possible to translate from L_2 to L_1 we say that L_1 and L_2 are equally expressive.
In this thesis we look at a number of logics and determine which ones are the most expressive. Specifically, we look at the logics L_CP, L_CPS, L_R, L_CPU and L_U*. We conclude that L_CPS is more expressive than L_CP, that L_U* is more expressive than L_R and that L_CPU and L_U* are equally expressive.
- Tous les livres sont en état complet et normal, sauf indication contraire. De petites imperfections comme une page collée ou un nom sur la feuille ne sont pas toujours mentionnés
- Vous gérez directement cette commande avec Loper
- Après votre commande vous et Loper recevrez une confirmation par e-mail. Dans l'e-mail que vous pouvez trouver, vous pouvez trouver le nom et l'adresse de Loper
- L'acheteur paie les frais de livraison, sauf accord contraire
- Loper peut demander un prépaiement
- Boekwinkeltjes.nl essaie de rapprocher les acheteurs et les vendeurs. Boekwinkeltjes.nl n'est jamais impliqué dans un accord entre l'acheteur et le vendeur. Si vous avez un différend avec un ou plusieurs utilisateurs, vous devez le réparer vous-même. Vous indemnisez Boekwinkeltjes.nl de toute réclamation.