PAPERS

Some papers before 2000 are available here.

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

Papers after 2000