Temporal Logic: Volume 2 1
bokomslag Temporal Logic: Volume 2
Data & IT

Temporal Logic: Volume 2

Dov M Gabbay • M Finger • M Reynolds

Inbunden

5099:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 2000
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
  • Författare: Dov M Gabbay, M Finger, M Reynolds
  • Format: Inbunden
  • ISBN: 9780198537687
  • Språk: Engelska
  • Utgivningsdatum: 2000-03-30
  • Förlag: Oxford University Press

Du kanske gillar

  1. bokomslag Elementary Categories, Elementary Toposes

    Elementary Categories, Elementary Top...

    McLarty

    Pocket

    2259:-
  2. bokomslag Features and Fluents

    Features and Fluents

    Erik Sandewall

    Inbunden

    2009:-
  3. bokomslag Simplicity Theory

    Simplicity Theory

    Byunghan Kim

    Inbunden

    1919:-
  4. bokomslag Structure of Models of Peano Arithmetic

    Structure of Models of Peano Arithmetic

    James Schmerl Roman Kossak

    Inbunden

    2469:-
  5. bokomslag Advances in Modal Logic: v. 5

    Advances in Modal Logic: v. 5

    R Schmidt, I Pratt-Hartmann, M Reynolds, Heinrich Wansing

    Pocket

    379:-
  6. bokomslag Recursion Theory for Metamathematics

    Recursion Theory for Metamathematics

    Raymond M Smullyan

    Inbunden

    3049:-
  7. bokomslag Sketches of an Elephant: A Topos Theory Compendium

    Sketches of an Elephant: A Topos Theo...

    Peter T Johnstone

    Inbunden

    6849:-
  8. bokomslag Twenty Five Years of Constructive Type Theory

    Twenty Five Years of Constructive Typ...

    Jan M Smith Giovanni Sambin

    Inbunden

    1699:-
  9. bokomslag From Sets and Types to Topology and Analysis

    From Sets and Types to Topology and A...

    Peter Schuster Laura Crosilla

    Inbunden

    3749:-
  10. bokomslag Many-Valued Logics

    Many-Valued Logics

    Grzegorz Malinowski

    Inbunden

    2169:-

Andra av samma författare

  1. bokomslag Fibring Logics

    Fibring Logics

    Dov M Gabbay

    Inbunden

    2119:-
  2. bokomslag Interpolation and Definability

    Interpolation and Definability

    Larisa Maksimova Dov M Gabbay

    Inbunden

    3869:-
  3. bokomslag Temporal Logic: Volume 1

    Temporal Logic: Volume 1

    Dov M Gabbay, Ian Hodkinson, Mark Reynolds

    Inbunden

    6079:-
  4. bokomslag Labelled Deductive Systems

    Labelled Deductive Systems

    Dov M Gabbay

    Inbunden

    2199:-
  5. bokomslag Sappho History

    Sappho History

    M Reynolds

    Inbunden

    829:-
  6. bokomslag Mathematical Problems from Applied Logic I

    Mathematical Problems from Applied Lo...

    Michael Zakharyaschev Dov M Gabbay

    Inbunden

    2139:-
  7. bokomslag Greek, Indian and Arabic Logic

    Greek, Indian and Arabic Logic

    Dov M Gabbay

    Inbunden

    3049:-
  8. bokomslag British Logic in the Nineteenth Century

    British Logic in the Nineteenth Century

    Dov M Gabbay

    Inbunden

    4689:-
  9. bokomslag Rise of Modern Logic: from Leibniz to Frege

    Rise of Modern Logic: from Leibniz to...

    John Woods Dov M Gabbay

    Inbunden

    3449:-
  10. bokomslag Logic from Russell to Church

    Logic from Russell to Church

    John Woods Dov M Gabbay

    Inbunden

    3359:-