Handbook of Philosophical Logic - 9781402035203

takie pytania od wieków (nieograniczone możliwościami jakiegokolwiek ha-ware). Zasady rządzące interakcją kilku procesów są na przykład abstrakcyjne, podobnie jak zasady rządzące współpracą dwóch dużych organizacji. Skuteczna, ale sztywna biurokracja oparta na szczegółowych zasadach jest bardzo podobna do złożonego programu komputerowego obsługującego i manipulującego danymi. Domyślam się, że zasady leżące u podstaw jednego z nich są w dużej mierze takie same, jak te leżące u podstaw drugiego. Wierzę, że dzień nie jest odległy w przyszłości, kiedy informatyk obudzi się pewnego ranka ze świadomością, że w rzeczywistości jest czymś w rodzaju formalnego filozofa! Przewidywana liczba tomów tego Podręcznika wynosi około 18. Temat ewoluował, a jego obszar został ze sobą powiązany w takim stopniu, że nie ma już sensu poświęcać tomów konkretnym tematom. Jednakże w tomach zastosowano pewne naturalne pogrupowania rozdziałów. Chciałbym podziękować naszym autorom i czytelnikom za ich wkład i zaangażowanie w sukces niniejszego Podręcznika. Dziękujemy także naszej administratorce publikacji, pani J. Spurr, za jej zwykłe poświęcenie i doskonałość oraz wydawnictwu Kluwer Academic Publishers (obecnie Springer) za ich ciągłe wsparcie dla Podręcznika. Dov Gabbay King's College London 10 Logika IT Natural Program Sztuczne sterowanie w języku Logicp gramowanie widmowe przetwarzanie ikacja, weryfikacja, współbieżność Temporal Expressive Expressive Planning. Rozszerzenie potęgi logicznej potęgi napięcia dla operatorów klauzuli Horna zależnego od czasu. obecne wydarzenia. dane wgniecenia. z czasem Specyfikacja czasowa Kalkulacja zdarzeń. zdolność. indeksy. Sepa- of tempo- Persistence Rachunek zdarzeń. racjonalność dotychczasowej kontroli regionalnej. poprzez czas-logikę czasową z przyszłej decyzji-programowanie ramki. lem. Problem modelowy. T- sprawdzanie. portalowy język zapytań. transakcje tymczasowe.