Many-Dimensional Modal Logics: Theory and Applications 1
bokomslag Many-Dimensional Modal Logics: Theory and Applications
Data & IT

Many-Dimensional Modal Logics: Theory and Applications

A Kurucz • F Wolter • M Zakharyaschev • Dov M Gabbay • A Kurucz

Inbunden

3089:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 766 sidor
  • 2003
Aims to study the computational behaviour of many-dimensional modal logics. This book is concerned with providing a mathematical foundation for this discipline, and shows that different applied many-dimensional systems fit in with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
  • Författare: A Kurucz, F Wolter, M Zakharyaschev, Dov M Gabbay, A Kurucz
  • Format: Inbunden
  • ISBN: 9780444508263
  • Språk: Engelska
  • Antal sidor: 766
  • Utgivningsdatum: 2003-10-21
  • Förlag: Elsevier Science & Technology

Du kanske gillar

  1. bokomslag Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    Residuated Lattices: An Algebraic Gli...

    Nikolaos Galatos, ), Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

    Inbunden

    2669:-
  2. bokomslag Computable Structures and the Hyperarithmetical Hierarchy

    Computable Structures and the Hyperar...

    C J Ash, J Knight, C J Ash, J Knight

    Inbunden

    2389:-
  3. bokomslag Computational Logic

    Computational Logic

    Dov M Gabbay, Jörg H Siekmann, John Woods, Dov M Gabbay, Jörg H Siekmann

    Inbunden

    3049:-
  4. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen

    Inbunden

    1039:-
  5. bokomslag Constructivism in Mathematics, Vol 1

    Constructivism in Mathematics, Vol 1

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen, Anne S Troelstra

    Inbunden

    919:-
  6. bokomslag Temporal Logic: Volume 2

    Temporal Logic: Volume 2

    Dov M Gabbay, M Finger, M Reynolds, Dov M Gabbay

    Inbunden

    5069:-
  7. bokomslag Handbook of Proof Theory

    Handbook of Proof Theory

    Samuel R Buss, S R Buss, S R Buss

    Inbunden

    2209:-
  8. bokomslag Proof Theory for Fuzzy Logics

    Proof Theory for Fuzzy Logics

    George Metcalfe, Nicola Olivetti, Dov M Gabbay, Dov M Gabbay

    Inbunden

    1719:-
  9. bokomslag Language in Action

    Language in Action

    J Van Benthem, J Van Benthem, J F A K Van Benthem

    Inbunden

    1719:-
  10. bokomslag Relation Algebras

    Relation Algebras

    Roger Duncan Maddux, Roger Duncan Maddux, Roger Maddux Duncan

    Inbunden

    3509:-

Andra av samma författare

  1. bokomslag Greek, Indian and Arabic Logic

    Greek, Indian and Arabic Logic

    Dov M Gabbay, John Woods, Dov M Gabbay, John Woods, Dov Gabbay M

    Inbunden

    3039:-
  2. bokomslag Fibring Logics

    Fibring Logics

    Dov M Gabbay Dov M Gabbay

    Inbunden

    2109:-
  3. bokomslag Interpolation and Definability

    Interpolation and Definability

    Dov M Gabbay, Larisa Maksimova, Dov M Gabbay

    Inbunden

    3849:-
  4. bokomslag Temporal Logic: Volume 2

    Temporal Logic: Volume 2

    Dov M Gabbay, M Finger, M Reynolds, Dov M Gabbay

    Inbunden

    5069:-
  5. bokomslag Temporal Logic: Volume 1

    Temporal Logic: Volume 1

    Dov M Gabbay, Ian Hodkinson, Mark Reynolds, Mark Reynolds

    Inbunden

    6049:-
  6. bokomslag Labelled Deductive Systems

    Labelled Deductive Systems

    Dov M Gabbay Dov M Gabbay

    Inbunden

    2109:-
  7. bokomslag Mathematical Problems from Applied Logic I

    Mathematical Problems from Applied Lo...

    Dov M Gabbay, Michael Zakharyaschev, Sergei S Goncharov, Sergey Goncharov, Dov M Gabbay

    Inbunden

    2149:-
  8. bokomslag Agenda Relevance: A Study in Formal Pragmatics

    Agenda Relevance: A Study in Formal P...

    Dov M Gabbay, D M Gabbay, Dov M Gabbay, John Woods

    Inbunden

    2809:-
  9. bokomslag Handbook of Temporal Reasoning in Artificial Intelligence

    Handbook of Temporal Reasoning in Art...

    Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M Gabbay, Lluis Vila

    Inbunden

    4429:-
  10. bokomslag Philosophy of Psychology and Cognitive Science

    Philosophy of Psychology and Cognitiv...

    Thagard P, Dov M Gabbay, John Woods

    Inbunden

    2379:-