13 citations to 10.1016/0168-0072(94)90071-X (Crossref Cited-By Service)
  1. PER LINDSTRöM, “Provability logic—a short introduction”, Theoria, 62, no. 1-2, 1996, 19  crossref
  2. Robert A. Di Paola, Franco Montagna, complexity, logic, and recursion theory, 2019, 123  crossref
  3. Mirjam de Vos, Rineke Verbrugge, Barteld Kooi, “Solutions to the Knower Paradox in the Light of Haack’s Criteria”, J Philos Logic, 52, no. 4, 2023, 1101  crossref
Previous
1
2