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.
About the Author: Judit Madarász has been working at the Alfréd Rényi Institute of Mathematics since 1998, currently in the position of Senior Research Fellow. Her research interests include logical foundations of special and general relativity, mathematical logic, and algebraic logic.
Gergely Székely has been working at the Alfréd Rényi Institute of Mathematics since 2008, currently in the position of Senior Research Fellow. His main research interests are logic-based axiomatic foundations of the special and general theories of relativity, applications of mathematical logic in physical sciences, and in connecting and comparing different theories.
