**PAPERS, WORK**

Some papers before 2000

Nonstandard dynamic logic publications of Andréka, H. and Németi, I. (1978 – 1995)

Papers in relativity theory after 2000

Papers in relativistic computing

Papers in algebraic logic after 2000

Formalizing Set Theory in weak fragments of AL (updated in 2011)