Date of Original Version
5-2000
Type
Technical Report
Abstract or Table of Contents
Horacio Arlo-Costa. First Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas.
5-2000
Technical Report
Horacio Arlo-Costa. First Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas.
Comments
CMU-PHIL-107