PAPERS, WORK

 

Some papers before 2000 are available here.

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

Sample papers after 2000

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

What is Logic