Multi-Dimensional Modal Logic

Inbunden, Engelska, 1996

AvMaarten Marx,Yde Venema

1 369 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

1 369 kr

Skickas inom 10-15 vardagar

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, multi-dimensional modal systems have been developed. This book treats multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. It defines and discusses a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation.

Produktinformation

Utgivningsdatum1996-11-30
Mått155 x 235 x 20 mm
Vikt518 g
FormatInbunden
SpråkEngelska
SerieApplied Logic Series
Antal sidor239
Upplaga1997
FörlagKluwer Academic Publishers
ISBN9780792343455

Tillhör följande kategorier

1 Multi-dimensional modal logic.- 1.1 What is multi-dimensional modal logic?.- 1.2 Manifestations of multi-dimensional modal logics.- 1.3 Themes and questions.- 1.4 Overview of the book.- 1.5 How to read this book.- 2 Two-dimensional modal logics.- 2.1 Operations on the square universe.- 2.2 Axiomatizing S5-square.- 2.3 Cylindric modal logic of squares.- 2.4 The modal logic of composition.- 2.5 A two-dimensional temporal logic.- 2.6 Historical notes.- 3 Arrow logic.- 3.1 Introduction.- 3.2 Motivation.- 3.3 Arrow logic and relation algebras.- 3.4 Connection with first order logic.- 3.5 Characterizing (local) squares.- 3.6 Axiomatizing (local) squares.- 3.7 Decidability and interpolation.- 3.8 Temporal arrow logic.- 3.9 Other directions in arrow logic.- 4 Modal logics of intervals.- 4.1 Introduction.- 4.2 The System HS: Introduction.- 4.3 The system HS: expressiveness.- 4.4 The System HS: Axiomatics.- 5 Modal logics of relations.- 5.1 Introduction.- 5.2 Modalizing first-order logic.- 5.3 Abstract and generalized assignment frames.- 5.4 Characterizing cubes and local cubes.- 5.5 Meta-properties.- 5.6 Infinite dimensions.- 5.7 Connections.- 6 Multi-dimensional semantics for every modal language.- 6.1 Logics with one modality.- 6.2 Logics with arbitrary many modalities.- 6.3 Versatile similarity types.- 6.4 The modal logic of composition and its conjugates.- Open problems.- Appendices.- A Modal Similarity Types.- A.1 Introduction.- A.2 Modal similarity types.- A.3 Frames, models and correspondence.- A.4 Structural frame operations.- A.5 Boolean S-algebras.- A.6 Frames and algebras.- A.7 Modal logics and derivation systems.- A.8 Algebraic derivations.- A.9 Canonical structures.- B A Modal Toolkit.- B.1 Sahlqvist theory.- B.1.1 Definitions.- B.1.2 Sahlqvist correspondence.- B.1.3 Canonicity & completeness.- B.1.4 Algebraic aspects of Sahlqvist theory.- B.2 Logical operators.- B.2.1 The universal modality.- B.2.2 Versatile similarity types.- B.2.3 The D-operator.- B.3 Negative definability and unorthodox axiomatics.- B.4 Interpolation.- B.5 Filtrations.- B.6 A local and a global paradigm.- List of symbols.

Mer från samma författare

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Inbunden

1 269 kr

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Häftad

1 059 kr

Mer från samma serie

Del 1

Fallacies Arising from Ambiguity

Douglas Walton

Inbunden

2 699 kr

Del 2

Proof Theory of Modal Logic

Heinrich Wansing

Inbunden

2 029 kr

Logic, Language and Computation

S. Akama, Seiki Akama

Inbunden

1 369 kr

Del 7

Advances in Intensional Logic

Maarten de Rijke, Maarten De Rijke

Inbunden

2 029 kr

Del 8

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt, P. H. Schmitt

Inbunden

2 699 kr

Del 9

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt, P. H. Schmitt

Inbunden

2 699 kr

Del 10

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt, P. H. Schmitt

Inbunden

2 029 kr

Textbook of Belief Dynamics

Sven Ove Hansson

Inbunden

2 029 kr

Textbook of Belief Dynamics

Sven Ove Hansson

Häftad

2 029 kr

Del 12

Dynamic Worlds

Remo Pareschi, Bertram Fronhöfer

Inbunden

1 369 kr

Du kanske också är intresserad av

Del 4