Titel

Expressivity of Logics of Knowledge and Action

Schrijver
Taal

Nederlands

ISBN

9789036774345

Uitgever

Rijksuniversiteit Groningen

Prijs

3,00(Excl. verzendkosten)

Bijzonderheden

Proefschrift Louwe B. (Bouke) Kuijer

Meer info
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.
Afbeeldingen
Louwe B. (Bouke) Kuijer - Expressivity of Logics of Knowledge and Action
Louwe B. (Bouke) Kuijer - Expressivity of Logics of Knowledge and Action
Loper Groningen

 

Vul uw gegevens hieronder in om deze titel te bestellen bij boekwinkel Loper.

Wijzig instellingen
De captcha wordt geladen. Een ogenblik geduld...

Klik op het witte vierkant hierboven

Op het bezoeken van onze website, zo ook het plaatsen van een bestelling, zijn onze Algemene voorwaarden van toepassing.

Registreer u vrijblijvend als koper!

Wijzig instellingen
De captcha wordt geladen. Een ogenblik geduld...

Klik op het witte vierkant hierboven

  • Alle boeken zijn compleet en verkeren in normale antiquarische staat, tenzij anders beschreven. Kleine onvolkomenheden, zoals een ingeplakte ex-libris of een naam op het schutblad, zijn niet altijd vermeld.
  • U handelt deze order direct af met Loper
  • Na uw bestelling ontvangen u en Loper een bevestiging per e-mail. In de e-mail staan de naam, adres, woonplaats en telefoonnummer van Loper vermeld.
  • De Koper betaalt de verzendkosten, tenzij anders overeen gekomen.
  • Loper kan betaling vooraf vragen.
  • Boekwinkeltjes.nl probeert Kopers en Verkopers tot elkaar te brengen. Boekwinkeltjes.nl is echter nimmer partij bij een overeenkomst die gesloten wordt tussen Koper en Verkoper door gebruikmaking van de site. Als u een geschil hebt met één of meer gebruikers, dient u dit zelf op te lossen. U vrijwaart Boekwinkeltjes.nl van enigerlei vorderingen, aanspraken op schadevergoeding en dergelijke, verband houdende met dergelijke geschillen.

7,1 miljoen boeken

Gebruikt en tweedehands

11100 boekwinkels

Antiquariaten en particulieren