Sequent calculi and decision procedures for weak modal systems

Lavendhomme, René;Lucas, Thierry
(2000) Studia Logica : an international journal for symbolic logic — Vol. 65, n° 1, p. 121-145 (2000)

Files

No attached file found for this publication.

Details

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

Citations

  • APA
  • Chicago
  • FWB

Lavendhomme, R., & Lucas, T. (2000). Sequent calculi and decision procedures for weak modal systems. Studia Logica : an international journal for symbolic logic, 65(1), 121-145. https://hdl.handle.net/2078.5/83915 (Original work published 2000)