This note is a friendly amendment to Marti’s analysis of the failure of Føllesdal’s argument that modal distinctions collapse in Carnap’s logic S2. Føllesdal’s argument turns on the treatment of descriptions. Marti considers how modal descriptions, which Carnap banned, might be handled; she adopts an approach which blocks Føllesdal’s argument, but requires a separate treatment of non-modal desc...

This paper presents an approximate analytical model for estimating the transmission loss (TL) of a finite rectangular plate in low frequency range, which is based on modal summation approach (MSA) taking into account radiation impedance and fluid loading. The mode-dependent resistance calculated using Rayleigh integral. loading taken through natural modified by added mass. results are compared ...

We present the experience gained from implementing a new decision procedure for both graded and probabilistic modal logic. While our approach uses standard tableaux for propositional connectives, modal rules are given by linear constraints on the arguments of operators. The implementation uses binary decision diagrams for propositional connectives and a linear programming library for the modal ...