Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic

Part I. Computer Science, Machine Intelligence, Logic of Programs

Dannert, K. M., Graedel, E.: Semiring provenance for guarded logics.

Diaconescu, R.: Implicit Partiality of Signature Morphisms in Institution Theory.

Gottlob, G., Pieris, A.: An Overview of Query-Answering and Reasoning with Datalog+/-.

Pratt, V.: Action axioms, algebraically.

Pratt-Hartmann, I.: Adding Guarded Constructions to the (Relational) Syllogistic.

Tucker, J.: tba

Part II . Algebraic Logic, Algebra, Logic

Benthem, J.: tba

Duentsch, I., Dzik, W., Orlowska, E.: Decomposing the discriminator in the semilattice of modal operators.

Goldblatt, R.: Generalising Grzegorczyks logic by bounding cluster size.

Hirsch-Hodkinson-Jackson: Undecidable decision problems for binary relations.

Jipsen, P.: relation algebras, residuated lattices and algebraic logic

Maddux, R.D.: On canonical relativized relation and cylindric set algebras.

Plotkin, B., Plotkin, E.: Algebraic logic and logic geometry defined in universal algebra.

Pratt, V: Universal algebra as a foreign language.

Sayed-Ahmed, T.: A brief history of Tarskian algebraic logic as enhanced by the outstanding contributions of Andreka and Nemeti.

Part III. Relativity Theory, spacetime, methodology of science

Dewar, N.: Freeing structuralism from model theory.

Friedman, H.: Foundational thinking.

Formica, G., Friend, M.: In the footsteps of Hilbert: the logical foundations of theories in physics

Halvorson, H.: The network of theories.

Manchak, J.B.: Internal and external properties of spacetime.

Weatherall: Why not categorical equivalence?

Wuthrich, C.: Time travelling in emergent spacetime.