Formal Systems for Topos-theoretic Modalities

Lucas, Thierry;Lavendhomme, René;Reyes, Gonzalo
(1989) Bulletin de la Société Mathématique de Belgique, Série A — Vol. 41, n° 2, p. 333-372 (1989)

Files

No attached file found for this publication.

Details

Authors
  • Lucas, ThierryUCLouvain
    Author
  • Lavendhomme, RenéUCLouvain
    Author
  • Reyes, GonzaloUdM
    Author

Citations

  • APA
  • Chicago
  • FWB

Lucas, T., Lavendhomme, R., & Reyes, G. (1989). Formal Systems for Topos-theoretic Modalities. Bulletin de la Société Mathématique de Belgique, Série A, 41(2), 333-372. https://hdl.handle.net/2078.5/65324 (Original work published 1989)