Inductive inference in the limit for first-order sentences Bernhard Lauth OriginalPaper Pages: 491 - 517
A model for science kinematics Wolfgang BalzerBernhard LauthGerhard Zoubek OriginalPaper Pages: 519 - 548
Syntactical results on the arithmetical completeness of modal logic Paolo Gentilini OriginalPaper Pages: 549 - 564
Formal systems for modal operators on locales Gonzalo E. ReyesMarek W. Zawadowski OriginalPaper Pages: 595 - 613