Authors: Leitgeb, H

Citation: H. Leitgeb, Truth as translation, part B (Convention T, first-order languages), J PHILOS LO, 30(4), 2001, pp. 309-328

Authors: Horsten, L Leitgeb, H

Citation: L. Horsten et H. Leitgeb, No future (Tense logic, diagonalization), J PHILOS LO, 30(3), 2001, pp. 259-265

Authors: Leitgeb, H

Citation: H. Leitgeb, Nonmonotonic reasoning by inhibition nets, ARTIF INTEL, 128(1-2), 2001, pp. 161-201