Verwandte Artikel zu Logics of Time and Computation: 7 (Center for the Study...
Logics of Time and Computation: 7 (Center for the Study of Language and Information Publication Lecture Notes) - Hardcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagThe Center for the Study of Language and Information Publications
- Erscheinungsdatum1992
- ISBN 10 0937073938
- ISBN 13 9780937073933
- EinbandTapa dura
- SpracheEnglisch
- Auflage2
- Anzahl der Seiten180
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
