2 citations to 10.1007/3-540-48168-0_28 (Crossref Cited-By Service)
  1. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  crossref
  2. Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín, 3210, Computer Science Logic, 2004, 355  crossref