Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Front Matter....Pages -
From Logic to Theoretical Computer Science – An Update....Pages 1-38
Reminiscences....Pages 39-45
Boris A. Trakhtenbrot: Academic Genealogy and Publications....Pages 46-57
Symmetric Logic of Proofs....Pages 58-71
Synthesis of Monitors for Real-Time Analysis of Reactive Systems....Pages 72-86
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms....Pages 87-106
Effective Finite-Valued Approximations of General Propositional Logics....Pages 107-129
Model Transformation Languages and Their Implementation by Bootstrapping Method....Pages 130-145
Modal Fixed-Point Logic and Changing Models....Pages 146-165
Fields, Meadows and Abstract Data Types....Pages 166-178
Why Sets?....Pages 179-198
The Church-Turing Thesis over Arbitrary Domains....Pages 199-229
Generalized Categorial Dependency Grammars....Pages 230-255
Temporal Verification of Probabilistic Multi-Agent Systems....Pages 256-265
Linear Recurrence Relations for Graph Polynomials....Pages 266-279
Artin’s Conjecture and Size of Finite Probabilistic Automata....Pages 280-291
Introducing Reactive Kripke Semantics and Arc Accessibility....Pages 292-341
On Partially Wellfounded Generic Ultrapowers....Pages 342-350
Some Results on the Expressive Power and Complexity of LSCs....Pages 351-366
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories....Pages 367-385
Tree Automata over Infinite Alphabets....Pages 386-423
Connectives in Cumulative Logics....Pages 424-440
Reasoning in Dynamic Logic about Program Termination....Pages 441-456
The Grace of Quadratic Norms: Some Examples....Pages 457-459
Nested Petri Nets for Adaptive Process Modeling....Pages 460-474
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors....Pages 475-505
Token-Free Petri Nets....Pages 506-520
Proof Search Tree and Cut Elimination....Pages 521-536
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs....Pages 537-554
Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge....Pages 555-570
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey....Pages 571-588
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed....Pages 589-595
The Reaction Algebra: A Formal Language for Event Correlation....Pages 596-619
On Natural Non-dcpo Domains....Pages 620-634
Church’s Problem and a Tour through Automata Theory....Pages 635-655
From Monadic Logic to PSL....Pages 656-681
Back Matter....Pages -