file.pdf (1.54 MB)
Download fileFirst Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas
journal contribution
posted on 01.05.2000, 00:00 by Horacio Arlo-CostaHoracio Arlo-Costa. First Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas.