ISBN:
9783319060255
Language:
English
Pages:
1 online resource (1072 pages)
Edition:
1st ed.
Series Statement:
Outstanding Contributions to Logic Ser. v.5
Parallel Title:
Erscheint auch als
DDC:
160
Keywords:
Information theory ; Congresses..
;
System theory ; Congresses..
;
Logic ; Philosophy
;
Electronic books
;
Aufsatzsammlung
Abstract:
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it
Abstract:
Intro -- Contents -- Preface by Johan van Benthem -- Acknowledgements -- On the Trails of Logical Dynamics:a bird's-eye view of this volume,by Alexandru Baltag and Sonja Smets -- Part I Mathematical and Computational Perspectives -- 1 The Freedoms of (Guarded) Bisimulation -- 1.1 Introduction -- 1.2 Bisimulation: Behavioural and Structural Equivalence -- 1.2.1 Ehrenfeucht--Fraïssé, Back-and-forth, Zig-zag, Pebble Games: Games Model-Theorists Play -- 1.2.2 Bisimulation in Modal Model Theory -- 1.2.3 Tree Models and Robust Decidability of Modal Logics -- 1.2.4 Expressive Completeness -- 1.3 Guarded Bisimulation: A Systematic Lifting to Higher Dimension -- 1.3.1 Guardedness and the Guarded Fragment -- 1.3.2 Guarded Bisimulation and Model Theory -- 1.3.3 Guarded Bisimulation Invariance -- 1.3.4 Decidability and Complexity for GF and Its Extensions -- 1.3.5 Guarded Model Constructions -- 1.3.6 Expressive Completeness -- 1.4 Guarded Negation Bisimulation -- 1.4.1 Homomorphisms and Bisimulation -- 1.4.2 Towards a (Finite) Model Theory of Guarded Negation -- 1.5 Summary -- References -- 2 Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective -- 2.1 Introduction -- 2.2 Coalgebra and Modal Logic -- 2.2.1 Coalgebra -- 2.2.2 Coalgebraic Logics -- 2.2.3 Predicate Liftings -- 2.3 Coalgebra Automata and MSO -- 2.3.1 One-Step Syntax and Semantics -- 2.3.2 Coalgebra Automata -- 2.3.3 MSO As a Coalgebraic Fixpoint Logic -- 2.4 One-Step Adequacy -- 2.4.1 The General Case -- 2.4.2 The Case of Kripke Models -- 2.5 Main Result -- 2.6 Conclusion -- References -- 3 Schema Mappings: A Case of Logical Dynamics in Database Theory -- 3.1 Background: Relational Database Theory -- 3.1.1 Database Schemas and Instances -- 3.1.2 Database Queries -- 3.1.3 First-Order Queries and Domain Independence -- 3.1.4 Query Evaluation and Query Containment.
Note:
Description based on publisher supplied metadata and other sources
URL:
Volltext
(lizenzpflichtig)
Permalink
