Louwe B. (Bouke) Kuijer - Expressivity of Logics of Knowledge a
| Schrijver: | Louwe B. (Bouke) Kuijer |
|---|---|
| Titel: | Expressivity of Logics of Knowledge and Action |
| ISBN: | 9789036774345 |
| Taal: | Nederlands |
| Uitgever: | Rijksuniversiteit Groningen |
| Bijzonderheden: | Proefschrift Louwe B. (Bouke) Kuijer |
| Prijs: | € 3,00 (Excl. verzendkosten) |
| 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. |
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.
Afbeeldingen (Klik om te vergroten)
Het huisnummer is ook opgegeven in het straat veld. Gelieve controleren of de velden straat en huisnummer correct zijn opgegeven.
Straat:
Nummer:
- 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
Deze verkoper is een particulier, dit heeft invloed op welke rechten voor u als koper ontbreken. Zo heeft u geen herroepingsrecht of conformiteitsrecht. Verder lezen. - 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.
Onthoud mijn gegevens
Registreer u vrijblijvend als koper!
Besteld, hoe nu verder?
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen. Afhankelijk van uw locatie heeft u in de meeste gevallen binnen 2 dagen uw bestelling in huis.